mirror of
https://github.com/git/git.git
synced 2024-11-05 08:47:56 +01:00
Merge branch 'jc/pull'
* jc/pull: git-pull: reword "impossible to fast-forward" message. git-pull: further safety while on tracking branch.
This commit is contained in:
commit
bdaa085f8c
1 changed files with 10 additions and 2 deletions
12
git-pull.sh
12
git-pull.sh
|
@ -55,9 +55,17 @@ then
|
|||
# First update the working tree to match $curr_head.
|
||||
|
||||
echo >&2 "Warning: fetch updated the current branch head."
|
||||
echo >&2 "Warning: fast forwarding your working tree."
|
||||
echo >&2 "Warning: fast forwarding your working tree from"
|
||||
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' \
|
||||
|
|
Loading…
Reference in a new issue