Re: git pull fails with http urls?

Pasky seems to have a locally modified version at repo.or.cz to
add HEAD to the result of update-server-info, but as far as I
can see, update-server-info never placed HEAD in the result, and
I do not think ls-remote compensated it by adding HEAD by hand,
so that change is fixing the symptom rather than fixing the
regression, but I am not sure where the true regression is.
Most likely we broke git-fetch while trying to deal with
repositories with insanely large number of refs (aka
"fetch--tool partial rewrite in C").

Having said all that, I think it is a good idea nevertheless to
add HEAD information across all transports, like Pasky's patch
does.  Currently http/ftp/rsync do not report HEAD while git
native protocols do.

Pasky, care to submit "server-info: Add HEAD to info/refs" for
inclusion?