| 1 |
> On 29 Aug 2022, at 22:42, Ulrich Mueller <ulm@g.o> wrote: |
| 2 |
> |
| 3 |
>>>>>> On Mon, 29 Aug 2022, Sam James wrote: |
| 4 |
> |
| 5 |
>> Both for their respective Savannah instances: |
| 6 |
>> - https://savannah.gnu.org/ |
| 7 |
>> - https://savannah.nongnu.org/ |
| 8 |
> |
| 9 |
> I think they should be called savannah and savannah-nongnu because gnu |
| 10 |
> isn't savannah. There are many GNU packages that are hosted elsewhere, |
| 11 |
> e.g. gcc, gdb, glibc, or binutils. |
| 12 |
> |
| 13 |
|
| 14 |
It's a fair point and it's one I raised in #gentoo-qa, although the same |
| 15 |
comment applies to gitlab, GitHub, and sourcehut. |
| 16 |
|
| 17 |
savannah-nongnu unfortunately sounds very clunky. |
| 18 |
|
| 19 |
Also, I can't really imagine what else 'gnu' would actually |
| 20 |
refer to? |
| 21 |
|
| 22 |
Best, |
| 23 |
sam |
Archives