Alfred M. Szmidt wrote: > Bob Proulx wrote: > [Aside: Where is git.gnu.org documented? I recall this being > reported as not working a few years ago and we just made it point to > git.savannah.gnu.org because we didn't know what else it would point > to but also not having seen it documented anywhere. I have always > assumed this was something list in the sands of time.] > > git.gnu.org has "always" been an alias for git.sv.gnu.org; similar > with svn.gnu.org, cvs.gnu.org, etc. It has always worked for me, > since I cannot be bothered typing the whole thing. Not sure what > documentation you are refering too.
If it is not documented then using it is using an undocumented interface. Undocumented interfaces are not guarenteed to continue to exist. And I remember this one because it didn't exist for at least a couple of years! But then we got some reports that people complained that it should work. Not knowing where to point it to we pointed it to git.savannah.gnu.org because that was back when I was new and not as assertive about removing undocumented features. I'm not sure what documentation you keep refering to, but git.gnu.org et al have existed and worked for the past ~15 years (probobly longer), when I think I asked for them to be added back then. git.gnu.org always pointed to git.sv.gnu.org. There is nothing "undocumented" about it.
