Re: [lmi] Anonymous git checkout failure

[Greg Chicares]

On 2016-11-23 00:40, Greg Chicares wrote:
[...HTTP 301 redirect fails with network proxy...]
> Is there any way for us to specify the URL it redirects to?
[...]
> But is the redirection simply mapping nongnu.org to gnu.org ?
> Both of these commands work for me:
> 
> $git clone http://git.savannah.nongnu.org/r/lmi.git
> $git clone http://git.savannah.gnu.org/r/lmi.git
> 
> Kim, does the second one work for you?

I couldn't resist investigating a little more, so I did this:

/tmp/tmp[0]$rm -rf lmi
/tmp/tmp[0]$GIT_CURL_VERBOSE=1 git clone 
http://git.savannah.nongnu.org/r/lmi.git >nongnu 2>&1

/tmp/tmp[0]$rm -rf lmi
/tmp/tmp[0]$GIT_CURL_VERBOSE=1 git clone http://git.savannah.gnu.org/r/lmi.git 
>gnu 2>&1

Resulting files 'nongnu' and 'gnu' are equivalent except that
the former (which fails with the defective proxy) contains this:

----------8<----------8<----------8<----------8<----------8<----------
> GET /r/lmi.git/info/refs?service=git-upload-pack HTTP/1.1

User-Agent: git/2.1.4

Host: git.savannah.nongnu.org

Accept: */*

Accept-Encoding: gzip

Pragma: no-cache



< HTTP/1.1 301 Moved Permanently

< Date: Wed, 23 Nov 2016 02:53:31 GMT

* Server Apache/2.2.16 (Debian) is not blacklisted
< Server: Apache/2.2.16 (Debian)

< Location: 
http://git.savannah.gnu.org/r/lmi.git/info/refs?service=git-upload-pack

< Content-Length: 368

< Content-Type: text/html; charset=iso-8859-1

< 

* Ignoring the response-body
* Connection #0 to host git.savannah.nongnu.org left intact
* Issue another request to this URL: 
'http://git.savannah.gnu.org/r/lmi.git/info/refs?service=git-upload-pack'
* Couldn't find host git.savannah.gnu.org in the .netrc file; using defaults
* Hostname was NOT found in DNS cache
*   Trying 208.118.235.72...
* Connected to git.savannah.gnu.org (208.118.235.72) port 80 (#1)
---------->8---------->8---------->8---------->8---------->8----------

...but that redirection section is absent when gnu.org is used.

I hope that this will work robustly. The nongnu.org domain is just
a "brother" of the primary gnu.org domain; that seems to have been
stable for more than a decade.

Savannah describes the three redirections it performs here:
  http://savannah.gnu.org/maintenance/FrontEndHostRedirection/
and using gnu.org instead of nongnu.org appears to avoid the second
type. The first type is avoided by spelling out "savannah" instead
of using the "sv" abbreviation; we already do that. The third type
is not relevant for git access.

Note that gnu and nongnu are not universally interchangeable--this:
  http://www.nongnu.org/lmi/7702.html
is our 7702 documentation, while this:
  http://www.gnu.org/lmi/7702.html
gives a 404 "not found" error.