diff --git a/git-fetch.sh b/git-fetch.sh
index 85e96a1cc7df5593600911b751bec361720c01a3..b15fc2b389f35e2b30b17eada4bcc711a12d2a11 100755 (executable)
--- a/git-fetch.sh
+++ b/git-fetch.sh
# 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