diff --git a/git-pull.sh b/git-pull.sh
index 8c750270e9ee1466180c2fbbc8e688d5131a17fe..35261539ab80ffa46fef945dce1a82c5636c1b49 100755 (executable)
--- a/git-pull.sh
+++ b/git-pull.sh
echo >&2 "Warning: fetch updated the current branch head."
echo >&2 "Warning: fast forwarding your working tree from"
echo >&2 "Warning: commit $orig_head."
- git update-index --refresh 2>/dev/null
+ git update-index -q --refresh
git read-tree -u -m "$orig_head" "$curr_head" ||
die 'Cannot fast-forward your working tree.
After making sure that you saved anything precious from