Andrew's git
/
gitweb.git
/ diff
summary
|
log
|
commit
| diff |
tree
commit
grep
author
committer
pickaxe
?
re
git-fetch --update-head-ok typofix
author
Junio C Hamano
<junkio@cox.net>
Wed, 11 Oct 2006 05:29:02 +0000
(22:29 -0700)
committer
Junio C Hamano
<junkio@cox.net>
Wed, 11 Oct 2006 05:29:02 +0000
(22:29 -0700)
Martin Waitz noticed that one of the case arms had an impossible
choice. It turns out that what it was checking was redundant and
the typo did not have any effect.
Signed-off-by: Junio C Hamano <junkio@cox.net>
git-fetch.sh
patch
|
blob
|
history
raw
|
patch
| inline |
side by side
(parent:
e88ee29
)
diff --git
a/git-fetch.sh
b/git-fetch.sh
index f1522bd49a2fc1c3106c6b2ed0a38af0a9ff72de..79222fbb1a4bf3205f3225feafc96aa43aace87c 100755
(executable)
--- 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