summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: cf46e7b)
raw | patch | inline | side by side (parent: cf46e7b)
author | Junio C Hamano <junkio@cox.net> | |
Wed, 22 Mar 2006 09:57:11 +0000 (01:57 -0800) | ||
committer | Junio C Hamano <junkio@cox.net> | |
Wed, 22 Mar 2006 09:57:11 +0000 (01:57 -0800) |
Signed-off-by: Junio C Hamano <junkio@cox.net>
git-pull.sh | patch | blob | history |
diff --git a/git-pull.sh b/git-pull.sh
index d90f7c9676c9519bdf396c28095ee33e36498f29..4611ae644e08e4ab115633ab86f1f02976663169 100755 (executable)
--- a/git-pull.sh
+++ b/git-pull.sh
echo >&2 "Warning: $orig_head commit."
git-update-index --refresh 2>/dev/null
git-read-tree -u -m "$orig_head" "$curr_head" ||
- die "You need to first update your working tree."
+ die 'Cannot fast-forward your working tree.
+After making sure that you saved anything precious from
+$ git diff '$orig_head'
+output, run
+$ git reset --hard
+to recover.'
+
fi
merge_head=$(sed -e '/ not-for-merge /d' \