Andrew's git / gitweb.git / diff
?
pull: change the description to "integrate" changes
authorJohn Keeping <john@keeping.me.uk>
Sun, 7 Jul 2013 19:02:15 +0000 (20:02 +0100)
committerJunio C Hamano <gitster@pobox.com>
Mon, 8 Jul 2013 19:44:01 +0000 (12:44 -0700)
Since git-pull learned the --rebase option it has not just been about
merging changes from a remote repository (where "merge" is in the sense
of "git merge"). Change the description to use "integrate" instead of
"merge" in order to reflect this.

Signed-off-by: John Keeping <john@keeping.me.uk>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Documentation/git-pull.txt patch | blob | history
git-pull.sh patch | blob | history
diff --git a/Documentation/git-pull.txt b/Documentation/git-pull.txt
index 24ab07a3f8f80c56cbbd7feffc1b5bf65e137968..6ef8d599d31ac20982fa74f213b81494ceae162a 100644 (file)
--- a/Documentation/git-pull.txt
+++ b/Documentation/git-pull.txt
@@ -3,7 +3,7 @@ git-pull(1)
 
 NAME
 ----
-git-pull - Fetch from and merge with another repository or a local branch
+git-pull - Fetch from and integrate with another repository or a local branch
 
 
 SYNOPSIS
diff --git a/git-pull.sh b/git-pull.sh
index 638aabb7b347e2afeb9bf327902de9e3702cd9d4..58597dbd9b6b7464dc9e02af3ae72b1cca3c34a6 100755 (executable)
--- a/git-pull.sh
+++ b/git-pull.sh
@@ -5,7 +5,7 @@
 # Fetch one or more remote refs and merge it/them into the current HEAD.
 
 USAGE='[-n | --no-stat] [--[no-]commit] [--[no-]squash] [--[no-]ff] [-s strategy]... [<fetch-options>] <repo> <head>...'
-LONG_USAGE='Fetch one or more remote refs and merge it/them into the current HEAD.'
+LONG_USAGE='Fetch one or more remote refs and integrate it/them with the current HEAD.'
 SUBDIRECTORY_OK=Yes
 OPTIONS_SPEC=
 . git-sh-setup