2008/12/22, Abhishek Dasgupta abhidg@gmail.com:
Why not merge extra and community, and give permissions accordingly?
-1 I think that is a wrong idea. Actually, the community repo is too big to merge extra and community. Those repos are and always should be separate, imho. My 2 cents.