diff --git a/git-fetch.sh b/git-fetch.sh index f1522bd49a2fc1c3106c6b2ed0a38af0a9ff72de..79222fbb1a4bf3205f3225feafc96aa43aace87c 100755 --- a/git-fetch.sh +++ b/git-fetch.sh @@ -436,10 +436,10 @@ esac # If the original head was empty (i.e. no "master" yet), or # if we were told not to worry, we do not have to check. -case ",$update_head_ok,$orig_head," in -*,, | t,* ) +case "$orig_head" in +'') ;; -*) +?*) curr_head=$(git-rev-parse --verify HEAD 2>/dev/null) if test "$curr_head" != "$orig_head" then