On Saturday 22 January 2011 10:55:19 Robin H. Johnson wrote:
> 1.
> We EXPLICITLY need a location for private repositories.

didn't know that, so i guess the private dir should be:
private
 - infra
   - (infrapriv1).git
   - (infrapriv2).git
 - foundation
   - (foundpriv1).git
   - (foundpriv2).git
 - pr
   - ....
 
> - Some of the developer+user repos are NOT overlays, but Gentoo-specific
>   code/applications.

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
>   developer.
>   - 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))

> 
> [1] 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