> On 29 Aug 2022, at 22:42, Ulrich Mueller <u...@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?


Attachment: signature.asc
Description: Message signed with OpenPGP

Reply via email to