diff options
author | Junio C Hamano <gitster@pobox.com> | 2015-10-15 00:30:20 +0300 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2015-10-15 00:30:21 +0300 |
commit | 1311587d96e0bff17a34dc9bb9ad27c3abdacdbc (patch) | |
tree | 9d777b0fd6679d92d38d2aa3d09da25b96486bd6 /contrib/examples/git-pull.sh | |
parent | c35acb632c70ef0fdc8b741350094907f1938e88 (diff) | |
parent | b7447679e84ed973430ab19fce87f56857b83068 (diff) |
Merge branch 'pt/pull-builtin'
* pt/pull-builtin:
merge: grammofix in please-commit-before-merge message
Diffstat (limited to 'contrib/examples/git-pull.sh')
-rwxr-xr-x | contrib/examples/git-pull.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/examples/git-pull.sh b/contrib/examples/git-pull.sh index e8dc2e0e7d..6b3a03f9b0 100755 --- a/contrib/examples/git-pull.sh +++ b/contrib/examples/git-pull.sh @@ -69,7 +69,7 @@ as appropriate to mark resolution and make a commit.")" die_merge () { if [ $(git config --bool --get advice.resolveConflict || echo true) = "true" ]; then die "$(gettext "You have not concluded your merge (MERGE_HEAD exists). -Please, commit your changes before you can merge.")" +Please, commit your changes before merging.")" else die "$(gettext "You have not concluded your merge (MERGE_HEAD exists).")" fi |