diff options
| author | Robin Rosenberg <robin.rosenberg@dewire.com> | 2006-10-29 23:09:40 +0300 |
|---|---|---|
| committer | Junio C Hamano <junkio@cox.net> | 2006-10-29 23:36:27 +0300 |
| commit | ce4231ffa80da1888a668cc7c33f5349800ab4a3 (patch) | |
| tree | 7e53e1c679fe9ea79446c11d2df1d382b1faa3f4 /Documentation/git.txt | |
| parent | 151602df00b8e5c5b4a8193f59a94b85f9b5aebc (diff) | |
Mention that pull can work locally in the synopsis
Signed-off-by: Robin Rosenberg <robin.rosenberg@dewire.com>
Signed-off-by: Junio C Hamano <junkio@cox.net>
Diffstat (limited to 'Documentation/git.txt')
| -rw-r--r-- | Documentation/git.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Documentation/git.txt b/Documentation/git.txt index 595cca1efd..fff07e1002 100644 --- 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. |