2008/12/23 Eric Bélanger firstname.lastname@example.org:
I was thinking the same thing. If we merge extra and community, we'll need to set permissions on a package-by-package basis instead of a repo-by-repo basis. Better keep them separate.
Either way, if it is decided that community should move to the devtools backend, how hard would it be to decouple the AUR from community?