Richard Stallman wrote: > > The instructions for the git repository are given on > > https://savannah.nongnu.org/git/?group=c-intro-and-ref > > This is a GNU package -- have you put it in https://savannah.nongnu.org/? > If so, please move it to https://savannah.gnu.org/git/, and ack.
I think the nongnu.org in the above was simply an inadvertant inclusion in the email. So much of that is an overlay on top of each other that it it is easy for things to get confused. The project is declared GNU and if you went to the nongnu.org address it would redirect from the nongnu.org domain to the gnu.org domain. So I don't think there is anything that actually needs to be done. Other than to use the gnu.org path. https://savannah.gnu.org/git/?group=c-intro-and-ref Bob