On 15.03.2015 10:48, Ulrich Mueller wrote:
>> If we want a separate repo/ namespace, we would probably need to
>> consider moving other repositories there -- at least the
>> official ones. Of course, it would be a nice result, having
>> everything hosted on git.g.o as git.g.o/repo/${repo_name}.git.
>
> Isn't "repo" fairly redundant? Everything there is a repository.
There are Git repositories that do not contain ebuilds up there. So
"repo" is not redundant if it refers to its "overlays" kind of meaning.
Two examples:
http://gitweb.gentoo.org/proj/portage-utils.git/
http://gitweb.gentoo.org/proj/userinfo-scripts.git/
Best,
Sebastian
