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 - To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
