Gentoo Archives: gentoo-dev

From: "Michał Górny" <mgorny@g.o>
To: Ulrich Mueller <ulm@g.o>
Cc: gentoo-dev@l.g.o
Subject: Re: [gentoo-dev] [PATCH dtd] herds: Remove no-longer usable <maintainingproject/> element
Date: Thu, 17 Sep 2015 20:22:14
Message-Id: 20150917222153.076c6c09.mgorny@gentoo.org
In Reply to: Re: [gentoo-dev] [PATCH dtd] herds: Remove no-longer usable element by Ulrich Mueller
1 Dnia 2015-09-17, o godz. 22:10:53
2 Ulrich Mueller <ulm@g.o> napisał(a):
3
4 > >>>>> On Thu, 17 Sep 2015, Michał Górny wrote:
5 >
6 > > <maintainingproject/> was used to 'copy' herd member lists from project
7 > > pages. However, it was never properly supported by tools and it is no
8 > > longer usable since project pages were moved to the Wiki.
9 >
10 > -1
11 >
12 > Let's please first decide on the greater scheme of projects, teams,
13 > and herds. Starting to change files before we have any plan doesn't
14 > make sense.
15
16 We already decided we move projects to Wiki. I don't think we're going
17 to decide to move them to GuideXML ever again. Keeping an element
18 dedicated to that doesn't make any sense because it can never work
19 again.
20
21 > If we should decide to keep herds (although I think that is unlikely)
22 > then we should fix the functionality instead of removing it.
23
24 If we even decide (which is quite likely) to go the braindead route of
25 having a database than tells you pretty much 'use a completely
26 different API to obtain members', we still would need to introduce
27 a new element for that.
28
29 Reusing <maintainingproject/> with completely different values is so
30 ugly I can't even properly express it with words. It's just like Python
31 projects -- we subtly changed API here, your programs will break
32 randomly now, have fun!
33
34 --
35 Best regards,
36 Michał Górny
37 <http://dev.gentoo.org/~mgorny/>

Replies