On Sat, Jan 22, 2011 at 03:02:59PM -0100, Jorge Manuel B. S. Vicetto 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. > Instead of relying on the name space for such a distinction, I propose > we use a "label" for that. Preferably we should have an automatic system > to produce the label and have it present on any online repo browsers > (gitweb?) and on project management apps (redmine?) so that users have > no doubt when looking at projects.gentoo.org / overlays.gentoo.org about > the type of a repo. The "label" to distinguish between developers and > non-developers repos could take advantage of the ldap info. We could > also use labels for the status of a project like we're already doing on > layman. The existence of labels is completely irrelevant to the actual PATH to the repos, of which there can be only one, and changing it later is going to upset people.
-- Robin Hugh Johnson Gentoo Linux: Developer, Trustee & Infrastructure Lead E-Mail : [email protected] GnuPG FP : 11AC BA4F 4778 E3F6 E4ED F38E B27B 944E 3488 4E85
