git-fetch --update-head-ok ?
- From
Martin Waitz <tali@admingilde.org>
- Date
- Oct 3, 2006, 12:34 UTC
- Message-ID
- <20061003123452.GK2871@admingilde.org>
hoi :)
I have no idea why there is a --update-head-ok, but the code looks like it has a typo:
diff --git a/git-fetch.sh b/git-fetch.sh index 09a5d6c..5843639 100755 --- a/git-fetch.sh +++ b/git-fetch.sh @@ -433,7 +433,7 @@ 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,* ) +*,, | ,t,* ) ;; *) curr_head=$(git-rev-parse --verify HEAD 2>/dev/null)
-- Martin Waitz