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

From: Alex Riesen <raa.lkml@gmail.com>
Date: Jun 30, 2007, 13:33 UTC
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