| 1 |
>>>>> On Mon, 29 Aug 2022, Sam James wrote: |
| 2 |
|
| 3 |
>> I think they should be called savannah and savannah-nongnu because gnu |
| 4 |
>> isn't savannah. There are many GNU packages that are hosted elsewhere, |
| 5 |
>> e.g. gcc, gdb, glibc, or binutils. |
| 6 |
|
| 7 |
> It's a fair point and it's one I raised in #gentoo-qa, although the same |
| 8 |
> comment applies to gitlab, GitHub, and sourcehut. |
| 9 |
|
| 10 |
Exactly. How would you name the ID if only savannah.gnu.org existed (but |
| 11 |
not its nongnu sibling)? "savannah" or "gnu"? |
| 12 |
|
| 13 |
> savannah-nongnu unfortunately sounds very clunky. |
| 14 |
|
| 15 |
Thinking about it, "nongnu" is probably fine. nongnu.org even redirects |
| 16 |
to savannah.nongnu.org. |
| 17 |
|
| 18 |
Ulrich |
Archives