[gentoo-dev] [PATCH repositories.dtd] Support multiple owner/ elements

[Michał Górny]

Hello,

A quick patch for review. It changes the DTD for repositories.xml to
support multiple owner/ tags. We have at least one repository with
more than one owner, and I don't really see creating aliases for our
users just to support that. Any comments?


Index: repositories.dtd
===
RCS file: /var/cvsroot/gentoo/xml/htdocs/dtd/repositories.dtd,v
retrieving revision 1.1
diff -u -B -r1.1 repositories.dtd
--- repositories.dtd12 Oct 2009 19:06:08 -  1.1
+++ repositories.dtd11 Aug 2015 14:14:28 -
@@ -21,7 +21,7 @@
   xmlns CDATA #FIXED ''
   version CDATA #FIXED '1.0'
 
-!ELEMENT repo 
(name,(description)+,(longdescription)*,(homepage)?,owner,(source)+,(feed)*)
+!ELEMENT repo 
(name,(description)+,(longdescription)*,(homepage)?,(owner)+,(source)+,(feed)*)
 !ATTLIST repo
   xmlns CDATA #FIXED ''
   priority CDATA #IMPLIED


-- 
Best regards,
Michał Górny
http://dev.gentoo.org/~mgorny/


pgpFJdIhtwaNP.pgp
Description: OpenPGP digital signature

Re: [gentoo-dev] [PATCH repositories.dtd] Support multiple owner/ elements

[Mike Gilbert]

On Tue, Aug 11, 2015 at 10:16 AM, Michał Górny mgo...@gentoo.org wrote:
 Hello,

 A quick patch for review. It changes the DTD for repositories.xml to
 support multiple owner/ tags. We have at least one repository with
 more than one owner, and I don't really see creating aliases for our
 users just to support that. Any comments?

Sounds reasonable, but please make sure the tools (layman) can handle
it properly.