>>>>> On Mon, 29 Sep 2014, Rich Freeman wrote: > On Mon, Sep 29, 2014 at 7:09 PM, Ulrich Mueller <u...@gentoo.org> wrote:
[Restoring context omitted from quote.] >> The same tags shouldn't be used for different things. First of all, >> the <name> tag is optional, so we cannot rely on its being present. >> Second, for a given e-mail address, some information is needed >> where to look it up. If it is a developer, their name can be found >> in the developers' database. If it is a herd, its description can >> be found in a different place, currently herds.xml. >> Even if this information had only marginal importance, I don't see >> why we should drop it. >>>>>>> On Tue, 30 Sep 2014, Jeroen Roovers wrote: >> >>> Please provide some examples of when and how that piece of >>> information, "herd", is important. >> >> Don't shift the burden of proof, please. > Meh, knowing if the status quo is useful is as helpful as knowing if > changing it is useful. Certainly reasons to change have been > presented. If there are reasons not to change besides inertia it > would be helpful to know what they are... I had just given some reasons above, in the part that you haven't quoted. Ulrich
pgpqPf3d_GbSk.pgp
Description: PGP signature
