Archives
Archives
| From: | Ulrich Mueller <ulm@g.o> | ||
|---|---|---|---|
| To: | Sam James <sam@g.o> | ||
| Cc: | gentoo-dev@l.g.o | ||
| Subject: | Re: [gentoo-dev] [PATCH] metadata.dtd: add gnu, nongnu remote-ids | ||
| Date: | Mon, 29 Aug 2022 21:42:38 | ||
| Message-Id: | uk06q916m@gentoo.org | ||
| In Reply to: | [gentoo-dev] [PATCH] metadata.dtd: add gnu, nongnu remote-ids by Sam James |
||
| 1 | >>>>> On Mon, 29 Aug 2022, Sam James wrote: |
| 2 | |
| 3 | > Both for their respective Savannah instances: |
| 4 | > - https://savannah.gnu.org/ |
| 5 | > - https://savannah.nongnu.org/ |
| 6 | |
| 7 | I think they should be called savannah and savannah-nongnu because gnu |
| 8 | isn't savannah. There are many GNU packages that are hosted elsewhere, |
| 9 | e.g. gcc, gdb, glibc, or binutils. |
| 10 | |
| 11 | Ulrich |
| File name | MIME type |
|---|---|
| signature.asc | application/pgp-signature |
| Subject | Author |
|---|---|
| Re: [gentoo-dev] [PATCH] metadata.dtd: add gnu, nongnu remote-ids | Sam James <sam@g.o> |