Re: [PATCH] git-clone: fetch possibly detached HEAD over dumb http

From: Sven Verdoolaege <skimo@kotnet.org>
Date: Jun 30, 2007, 13:45 UTC
Message-ID: <20070630134542.GF7969MdfPADPa@greensroom.kotnet.org>
In-Reply-To: <20070630133310.GB2866@steel.home>

On Sat, Jun 30, 2007 at 03:33:10PM +0200, Alex Riesen wrote:

Show 8 quoted lines

> Sven Verdoolaege, Fri, Jun 29, 2007 10:31:08 +0200:
> > +		head_sha1=`cat "$GIT_DIR/REMOTE_HEAD"`
> > +		case "$head_sha1" in
> > +		'ref: refs/'*)
> > +			;;
> 
> And what do you do if the HEAD is a reflink on something not in refs/?
> Like "ref: tmp"? Yes, it is unlikely, but is not forbidden.

It may not be forbidden, but I don't think it would work with current git-clone either.

skimo