...also standardise on lower-case (which seems to be what gitlab uses by default) for the example user repo.