From: | Mike Gilbert <floppym@g.o> | ||
---|---|---|---|
To: | Gentoo Dev <gentoo-dev@l.g.o> | ||
Subject: | Re: [gentoo-dev] [PATCH repositories.dtd] Support multiple <owner/> elements | ||
Date: | Tue, 11 Aug 2015 18:31:09 | ||
Message-Id: | CAJ0EP40qARE0ch_QPbNhMf22sqDFmggLohRKaP6dew_vrF2mmg@mail.gmail.com | ||
In Reply to: | [gentoo-dev] [PATCH repositories.dtd] Support multiple |
1 | On Tue, Aug 11, 2015 at 10:16 AM, Michał Górny <mgorny@g.o> wrote: |
2 | > Hello, |
3 | > |
4 | > A quick patch for review. It changes the DTD for repositories.xml to |
5 | > support multiple <owner/> tags. We have at least one repository with |
6 | > more than one owner, and I don't really see creating aliases for our |
7 | > users just to support that. Any comments? |
8 | |
9 | Sounds reasonable, but please make sure the tools (layman) can handle |
10 | it properly. |