gitweb: Filter out commit ID from @difftree in git_commit and git_commitdiff

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