diff options
author | Junio C Hamano <junio@hera.kernel.org> | 2008-07-06 05:20:31 +0000 |
---|---|---|
committer | Junio C Hamano <junio@hera.kernel.org> | 2008-07-06 05:20:31 +0000 |
commit | ba4b9286c25f18c7ebbb809ee5732a7810377ab6 (patch) | |
tree | 390507328a7564b65dc803683c34235700b97409 /git-pull.txt | |
parent | 05bf9c54a827e48b2b576488f5170a3490b5180e (diff) | |
download | git-htmldocs-ba4b9286c25f18c7ebbb809ee5732a7810377ab6.tar.gz |
Autogenerated HTML docs for v1.5.6.2-212-g08b5
Diffstat (limited to 'git-pull.txt')
-rw-r--r-- | git-pull.txt | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/git-pull.txt b/git-pull.txt index d9537ebc6..092d1b8a3 100644 --- a/git-pull.txt +++ b/git-pull.txt @@ -13,16 +13,16 @@ SYNOPSIS DESCRIPTION ----------- -Runs `git-fetch` with the given parameters, and calls `git-merge` +Runs 'git-fetch' with the given parameters, and calls 'git-merge' to merge the retrieved head(s) into the current branch. -With `--rebase`, calls `git-rebase` instead of `git-merge`. +With `--rebase`, calls 'git-rebase' instead of 'git-merge'. Note that you can use `.` (current directory) as the <repository> to pull from the local repository -- this is useful when merging local branches into the current branch. -Also note that options meant for `git-pull` itself and underlying -`git-merge` must be given before the options meant for `git-fetch`. +Also note that options meant for 'git-pull' itself and underlying +'git-merge' must be given before the options meant for 'git-fetch'. OPTIONS ------- @@ -182,7 +182,7 @@ The final command then merges the newly fetched `tmp` into master. If you tried a pull which resulted in a complex conflicts and -would want to start over, you can recover with `git-reset`. +would want to start over, you can recover with 'git-reset'. SEE ALSO |