From: Sven Verdoolaege Date: Sat, 30 Jun 2007 13:45:44 GMT Subject: Re: [PATCH] git-clone: fetch possibly detached HEAD over dumb http 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: > 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