On Saturday 22 January 2011 20:06:06 Sebastian Pipping wrote:
> On 01/22/11 13:32, Theo Chatzimichos wrote:
> > 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.
> 
> Three request over what time?  Compared to a screen height of user repos
> created, maybe that's not much.
> 
> 
> 
> Sebastian

I'm sorry I don't share your point. I think I was quite clear, the 
user/developer distinction (or better, the unofficial/official overlay) should 
happen in layman list and in overlays website, not in gitolite. Take a look at 
the current list in gitweb and tell me honestly how clear and distinct is that 
thing for you. For the record:
the following overlays should move from dev/ to user/:
b33fc0d3, hawking, uberlord, welp
the following should move from user/ to dev/:
dilfridge
at least two people with user/ overlays are going to be gentoo devs soon
and last but not least, smithdanea overlay is useless because c1pher has a dev 
overlay as well now
not to mention the proj/ list.
And now, imagine the state of the user/ dev/ list mess in, say, two or five 
years
-- 
Theo Chatzimichos (tampakrap)
Gentoo KDE/Qt, Planet, Overlays