On Sat, Jun 12, 2010 at 11:27 AM, Loïc Minier loic.minier@linaro.orgwrote:
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 http://kernel.ubuntu.com/git%28they%27llall 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.