[gentoo-dev] [PATCH] metadata.dtd: add gnu, nongnu remote-ids

[gentoo-dev] [PATCH] metadata.dtd: add gnu, nongnu remote-ids

[Sam James]

Both for their respective Savannah instances:
- https://savannah.gnu.org/
- https://savannah.nongnu.org/

Signed-off-by: Sam James <sam@gentoo.org>
---
 metadata.dtd | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/metadata.dtd b/metadata.dtd
index 5f65033..4ee2741 100644
--- a/metadata.dtd
+++ b/metadata.dtd
@@ -58,7 +58,7 @@
     <!ELEMENT bugs-to (#PCDATA)>
     <!-- specify a type of package identification tracker -->
     <!ELEMENT remote-id (#PCDATA)>
-      <!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>
+      <!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>
 
   <!-- category/package information for cross-linking in descriptions
     and useflag descriptions -->
-- 
2.37.2

Re: [gentoo-dev] [PATCH] metadata.dtd: add gnu, nongnu remote-ids

[Ulrich Mueller]

[-- Attachment #1: Type: text/plain, Size: 342 bytes --]

>>>>> On Mon, 29 Aug 2022, Sam James wrote:

> Both for their respective Savannah instances:
> - https://savannah.gnu.org/
> - https://savannah.nongnu.org/

I think they should be called savannah and savannah-nongnu because gnu
isn't savannah. There are many GNU packages that are hosted elsewhere,
e.g. gcc, gdb, glibc, or binutils.

Ulrich

[-- Attachment #2: signature.asc --]
[-- Type: application/pgp-signature, Size: 507 bytes --]

Re: [gentoo-dev] [PATCH] metadata.dtd: add gnu, nongnu remote-ids

[Sam James]

[-- Attachment #1: Type: text/plain, Size: 680 bytes --]



> On 29 Aug 2022, at 22:42, Ulrich Mueller <ulm@gentoo.org> wrote:
> 
>>>>>> On Mon, 29 Aug 2022, Sam James wrote:
> 
>> Both for their respective Savannah instances:
>> - https://savannah.gnu.org/
>> - https://savannah.nongnu.org/
> 
> I think they should be called savannah and savannah-nongnu because gnu
> isn't savannah. There are many GNU packages that are hosted elsewhere,
> e.g. gcc, gdb, glibc, or binutils.
> 

It's a fair point and it's one I raised in #gentoo-qa, although the same
comment applies to gitlab, GitHub, and sourcehut.

savannah-nongnu unfortunately sounds very clunky.

Also, I can't really imagine what else 'gnu' would actually
refer to?

Best,
sam

[-- Attachment #2: Message signed with OpenPGP --]
[-- Type: application/pgp-signature, Size: 358 bytes --]

Re: [gentoo-dev] [PATCH] metadata.dtd: add gnu, nongnu remote-ids

[Ulrich Mueller]

[-- Attachment #1: Type: text/plain, Size: 637 bytes --]

>>>>> On Mon, 29 Aug 2022, Sam James wrote:

>> I think they should be called savannah and savannah-nongnu because gnu
>> isn't savannah. There are many GNU packages that are hosted elsewhere,
>> e.g. gcc, gdb, glibc, or binutils.

> It's a fair point and it's one I raised in #gentoo-qa, although the same
> comment applies to gitlab, GitHub, and sourcehut.

Exactly. How would you name the ID if only savannah.gnu.org existed (but
not its nongnu sibling)? "savannah" or "gnu"?

> savannah-nongnu unfortunately sounds very clunky.

Thinking about it, "nongnu" is probably fine. nongnu.org even redirects
to savannah.nongnu.org.

Ulrich

[-- Attachment #2: signature.asc --]
[-- Type: application/pgp-signature, Size: 507 bytes --]