summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: e62bfe7)
raw | patch | inline | side by side (parent: e62bfe7)
author | Ævar Arnfjörð Bjarmason <avarab@gmail.com> | |
Mon, 13 Sep 2010 18:47:44 +0000 (18:47 +0000) | ||
committer | Ævar Arnfjörð Bjarmason <avarab@gmail.com> | |
Sat, 30 Oct 2010 07:58:20 +0000 (07:58 +0000) |
Signed-off-by: Ævar Arnfjörð Bjarmason <avarab@gmail.com>
git-pull.sh | patch | blob | history |
diff --git a/git-pull.sh b/git-pull.sh
index 324ac95267bb5d21ce2cfd5282560cefc71be316..8c0ea23ac13bdabf978cedfc089545b0231e682c 100755 (executable)
--- a/git-pull.sh
+++ b/git-pull.sh
echo >&2 "Warning: commit $orig_head."
git update-index -q --refresh
git read-tree -u -m "$orig_head" "$curr_head" ||
- die 'Cannot fast-forward your working tree.
+ die "$(eval_gettext "Cannot fast-forward your working tree.
After making sure that you saved anything precious from
-$ git diff '$orig_head'
+$ git diff \$orig_head
output, run
$ git reset --hard
-to recover.'
+to recover.")"
fi