>>>>> 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
Description: PGP signature
