[prev in list] [next in list] [prev in thread] [next in thread] 

List:       gentoo-dev
Subject:    Re: [gentoo-dev] [PATCH] metadata.dtd: add gnu, nongnu remote-ids
From:       Ulrich Mueller <ulm () gentoo ! org>
Date:       2022-08-29 21:52:53
Message-ID: uczci90p6 () gentoo ! org
[Download RAW message or body]


>>>>> 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

["signature.asc" (application/pgp-signature)]

[prev in list] [next in list] [prev in thread] [next in thread]