On Sat, Jun 12, 2010 at 11:27 AM, Loïc Minier <loic.minier@linaro.org> wrote:
On Fri, Jun 11, 2010, Amit Kucheria wrote:
> Too over-specified IMO. If you just want to keep the team repos separate
> from the personal development repos, let them be under personal/ directory.
> People can then use whatever naming scheme that makes sense.

 I do want the top-level to be specified in someway, either it could be
 personal/$nick/whatever, or directly $nick/whatever.  The rest is more
 a recommendation, but in practice people are free to make exceptions.

> So you won't have so many personal git trees like on
> kernel.ubuntu.com/git(they'll all be hidden away in the personal/
> folder)

 Is it an issue when finding shared repos that you think we should try
 hiding personal trees? 

Most of the time, personal trees only contain temporary stuff, a staging tree before things move to official tree.

And keeping it hidden away under a personal/ directory makes clear the official repositories.