diff options
| author |   Michał Górny <mgorny@gentoo.org> | 2015-09-17 21:47:04 +0200 |
|---|---|---|
| committer | Michał Górny <mgorny@gentoo.org> | 2015-09-17 21:47:04 +0200 |
| commit | 08f2f612dd5aef889d329eded4bd6fc0fea2e187 (patch) | |
| tree | 61fecb12269ec223d14e4b5696f9103369bda941 | |
| parent | repositories: Allow multiple owners for a repository (diff) | |
| download | dtd-08f2f612dd5aef889d329eded4bd6fc0fea2e187.tar.gz dtd-08f2f612dd5aef889d329eded4bd6fc0fea2e187.tar.bz2 dtd-08f2f612dd5aef889d329eded4bd6fc0fea2e187.zip | |
herds: Remove no-longer usable <maintainingproject/> element
<maintainingproject/> was used to 'copy' herd member lists from project
pages. However, it was never properly supported by tools and it is no
longer usable since project pages were moved to the Wiki.
| -rw-r--r-- | herds.dtd | 6 |
1 files changed, 1 insertions, 5 deletions
@@ -1,14 +1,10 @@ <!ELEMENT herds ( (herd)* )> <!-- One tag for each herd --> - <!ELEMENT herd (name, email? , description?, (maintainersof|maintainingproject|maintainer*))> + <!ELEMENT herd (name, email? , description?, (maintainersof|maintainer*))> <!-- One tag for each maintainer of a herd, multiple allowed--> <!ELEMENT maintainer ( email, (role| name)* )> - <!-- Projects that whose members all maintain the herd, the format is the - url of the project page starting from the web root--> - <!ELEMENT maintainingproject (#PCDATA)> - <!-- Get the maintainers of another herd and make them maintainers of this one--> <!ELEMENT maintainersof EMPTY> |