Merge branch 'jc/add-addremove'

[git.git] / git-pull.sh

diff --git a/git-pull.sh b/git-pull.sh
index 809e537a4d81233966aad23df11c13931d6250c1..6afd4e2f4e5859728d748fe51f68e5bfcb934488 100755 (executable)
--- a/git-pull.sh
+++ b/git-pull.sh
@@ -121,7 +121,7 @@ test true = "$rebase" && {
                "refs/remotes/$origin/$reflist" 2>/dev/null)"
 }
 orig_head=$(git rev-parse --verify HEAD 2>/dev/null)
-git-fetch --update-head-ok "$@" || exit 1
+git fetch --update-head-ok "$@" || exit 1
 
 curr_head=$(git rev-parse --verify HEAD 2>/dev/null)
 if test "$curr_head" != "$orig_head"