Re: git clone fails

[Ludovic Courtès]

Hello,

Florian Friesdorf <flo@chaoflow.net> skribis:

> url taken from:
> http://git.savannah.gnu.org/cgit/hurd/glibc.git
>
> $ git clone git://git.sv.gnu.org/hurd/glibc.git
> Cloning into glibc...
> remote: Counting objects: 250057, done.
> remote: Compressing objects: 100% (39390/39390), done.
> remote: Total 250057 (delta 205903), reused 250013 (delta 205874)
> Receiving objects: 100% (250057/250057), 71.67 MiB | 1015 KiB/s, done.
> Resolving deltas: 100% (205903/205903), done.
> warning: remote HEAD refers to nonexistent ref, unable to checkout.

(This was a followup to an IRC discussion.)

Apparently .git/HEAD on the repo refers to an non-existence commit, and
fixing it would require help from the Savannah admins.  I think
.git/HEAD should read:

  ref: refs/heads/tschwinge/Roger_Whittaker

Thoughts?

Ludo’.