Gentoo Archives: gentoo-dev

From: Ulrich Mueller <ulm@g.o>
To: "Michał Górny" <mgorny@g.o>
Cc: gentoo-dev@l.g.o
Subject: Re: [gentoo-dev] [PATCH dtd] herds: Remove no-longer usable <maintainingproject/> element
Date: Fri, 18 Sep 2015 07:37:24
Message-Id: 22011.48929.934364.555475@a1i15.kph.uni-mainz.de
In Reply to: Re: [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 >> Let's please first decide on the greater scheme of projects, teams,
4 >> and herds. Starting to change files before we have any plan doesn't
5 >> make sense.
6
7 > We already decided we move projects to Wiki. I don't think we're
8 > going to decide to move them to GuideXML ever again. Keeping an
9 > element dedicated to that doesn't make any sense because it can
10 > never work again.
11
12 Updating herds.xml implies that we are going to keep the concept of
13 herds, and there is no decision on that yet.
14
15 IIUC keeping an obsolete element in the DTD doesn't actually break
16 anything, so I don't see the urgency of removing it.
17
18 Ulrich

Replies