Skip to content

Commit

Permalink
Mention that pull can work locally in the synopsis
Browse files Browse the repository at this point in the history
Signed-off-by: Robin Rosenberg <robin.rosenberg@dewire.com>
Signed-off-by: Junio C Hamano <junkio@cox.net>
  • Loading branch information
Robin Rosenberg authored and Junio C Hamano committed Oct 29, 2006
1 parent 151602d commit ce4231f
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 2 deletions.
2 changes: 1 addition & 1 deletion Documentation/git-pull.txt
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down
2 changes: 1 addition & 1 deletion Documentation/git.txt
Original file line number Diff line number Diff line change
Expand Up @@ -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.
Expand Down

0 comments on commit ce4231f

Please sign in to comment.