Mention that pull can work locally in the synopsis

Signed-off-by: Robin Rosenberg <redacted>
Signed-off-by: Junio C Hamano <redacted>

diff --git a/Documentation/git-pull.txt b/Documentation/git-pull.txt
index 51577fcbe638981baf1870006eef633be304e26b..2a5aea73bafedd62f20cecb1fbf5069b515022bd 100644 (file)
--- a/Documentation/git-pull.txt
+++ b/Documentation/git-pull.txt
@@ -3,7 +3,7 @@ git-pull(1)
 
 NAME
 ----
-git-pull - Pull and merge from another repository
+git-pull - Pull and merge from another repository or a local branch
 
 
 SYNOPSIS

diff --git a/Documentation/git.txt b/Documentation/git.txt
index 595cca1efda159390149bfcaf96084520ef738e3..fff07e10020f41afddb374343544e768d2f882b2 100644 (file)
--- a/Documentation/git.txt
+++ b/Documentation/git.txt
@@ -324,7 +324,7 @@ gitlink:git-mv[1]::
        Move or rename a file, a directory, or a symlink.
 
 gitlink:git-pull[1]::
-       Fetch from and merge with a remote repository.
+       Fetch from and merge with a remote repository or a local branch.
 
 gitlink:git-push[1]::
        Update remote refs along with associated objects.