git-clone: fetch possibly detached HEAD over dumb http