As another aspect of the change to make git-pull die when remote changes
do not fast-forward, this series changes the advice messages in git-push to
avoid implying that the user wants to merge remote changes.
I've chosen the word "integrate" because it does not carry any special
meaning in Git (in terms of being a command) and seems to cover the
merge and rebase cases nicely.
John Keeping (2):
push: avoid suggesting "merging" remote changes
pull: change the description to "integrate" changes
Documentation/git-pull.txt | 2 +-
builtin/push.c | 12 ++++++------
git-pull.sh | 2 +-
3 files changed, 8 insertions(+), 8 deletions(-)
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majord...@vger.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html