From: Sven Verdoolaege <skimo@kotnet.org>
Date: Fri, 29 Jun 2007 08:11:00 GMT
Subject: Re: [PATCH] git-clone: fetch possibly detached HEAD over dumb http
Message-ID: <20070629081100.GA7969MdfPADPa@greensroom.kotnet.org>
In-Reply-To: <7vsl8bmxv9.fsf@assigned-by-dhcp.pobox.com>

On Thu, Jun 28, 2007 at 05:02:18PM -0700, Junio C Hamano wrote:
> You would want to do this extra fetch only in case (1).
> I think the additional fetch would fail in case (2), and result
> in removal of $GIT_DIR/REMOTE_HEAD.

You're right.  It looks like I only tested it on symbolic link HEADs.
Sorry about that.  Will send a corrected patch later.

skimo