From: Alex Riesen Date: Sat, 30 Jun 2007 13:33:10 GMT Subject: Re: [PATCH] git-clone: fetch possibly detached HEAD over dumb http Message-ID: <20070630133310.GB2866@steel.home> In-Reply-To: <20070629083108.GA14747@liacs.nl> 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. How about "[0-9a-f]*)" instead: case "$head_sha1" in [0-9a-f]*) git-http-fetch $v -a "$head_sha1" "$1" || rm -f "$GIT_DIR/REMOTE_HEAD" ;; esac