Gentoo Archives: gentoo-dev

From: Sam James <sam@g.o>
To: gentoo-dev@l.g.o
Cc: Sam James <sam@g.o>
Subject: [gentoo-dev] [PATCH] metadata.dtd: add gnu, nongnu remote-ids
Date: Mon, 29 Aug 2022 20:32:05
Message-Id: 20220829203152.2005151-1-sam@gentoo.org
1 Both for their respective Savannah instances:
2 - https://savannah.gnu.org/
3 - https://savannah.nongnu.org/
4
5 Signed-off-by: Sam James <sam@g.o>
6 ---
7 metadata.dtd | 2 +-
8 1 file changed, 1 insertion(+), 1 deletion(-)
9
10 diff --git a/metadata.dtd b/metadata.dtd
11 index 5f65033..4ee2741 100644
12 --- a/metadata.dtd
13 +++ b/metadata.dtd
14 @@ -58,7 +58,7 @@
15 <!ELEMENT bugs-to (#PCDATA)>
16 <!-- specify a type of package identification tracker -->
17 <!ELEMENT remote-id (#PCDATA)>
18 - <!ATTLIST remote-id type (bitbucket|cpan|cpan-module|cpe|cran|ctan|gentoo|github|gitlab|google-code|hackage|heptapod|launchpad|osdn|pear|pecl|pypi|rubygems|sourceforge|sourcehut|vim) #REQUIRED>
19 + <!ATTLIST remote-id type (bitbucket|cpan|cpan-module|cpe|cran|ctan|gentoo|github|gitlab|google-code|gnu|hackage|heptapod|launchpad|nongnu|osdn|pear|pecl|pypi|rubygems|sourceforge|sourcehut|vim) #REQUIRED>
20
21 <!-- category/package information for cross-linking in descriptions
22 and useflag descriptions -->
23 --
24 2.37.2

Replies