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