Gentoo Archives: gentoo-dev

From: Ulrich Mueller <ulm@g.o>
To: gentoo-dev@l.g.o
Cc: "Michał Górny" <mgorny@g.o>
Subject: Re: [gentoo-dev] [PATCH dtd] herds: Remove no-longer usable <maintainingproject/> element
Date: Thu, 17 Sep 2015 20:11:13
Message-Id: 22011.7757.272512.948063@a1i15.kph.uni-mainz.de
In Reply to: [gentoo-dev] [PATCH dtd] herds: Remove no-longer usable element by "Michał Górny"
1 >>>>> On Thu, 17 Sep 2015, Michał Górny wrote:
2
3 > <maintainingproject/> was used to 'copy' herd member lists from project
4 > pages. However, it was never properly supported by tools and it is no
5 > longer usable since project pages were moved to the Wiki.
6
7 -1
8
9 Let's please first decide on the greater scheme of projects, teams,
10 and herds. Starting to change files before we have any plan doesn't
11 make sense.
12
13 If we should decide to keep herds (although I think that is unlikely)
14 then we should fix the functionality instead of removing it.
15
16 Ulrich

Replies