On Saturday 22 January 2011 10:55:19 Robin H. Johnson wrote:
> We EXPLICITLY need a location for private repositories.
didn't know that, so i guess the private dir should be:
> - Some of the developer+user repos are NOT overlays, but Gentoo-specific
These DON'T belong here, they should go to project/
> - On one hand, I would like user repositories to have a separate
> namespace, so that other users realize a given repo is NOT from a
> - On the other side, what do we do when a user with a repo becomes a
> developer (and when they retire?)
Well, the distinction for unofficial/official overlays happen mostly in layman
-L, I don't think users pay attention to our git repo list. Furthermore, I got
at least three requests from developers to move their repo from user/ to dev/
(same problem when devs retired). This distinction doesn't make any sense.
> These are projects, why not include them there?
All of the above are *.gentoo.org subdomains
> > project (includes SOC projects, forks, gentoo projects etc)
> > - devmanual.git
> > - portage.git
> > - ...
> devmanual IS a website...
> How are you differentiating project vs. website?
devmanual should go to website/, you are right. In project/ belongs anything
that is not a *.g.o subdomain, and is not an overlay (SOC projects, upstream
projects (portage, gorg, rbot*, znurt), forks (gitolite-gentoo))
>  We intend on having public infra repos as well, and just having the
> fewest private repos.
Send them to project/ as well ;)
Theo Chatzimichos (tampakrap)
Gentoo KDE/Qt, Planet, Overlays