diff options
| author | Junio C Hamano <gitster@pobox.com> | 2017-05-04 07:36:22 -0700 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2017-05-04 07:36:22 -0700 |
| commit | 4c60d9a1a0d0cd01727aff4334b00cf25935e634 (patch) | |
| tree | 38c1fba4058501e8fe7e8e2760ec92a236896214 /git-pull.txt | |
| parent | 8decc2321270ed62283cf47685f2a355b8de4c57 (diff) | |
| download | git-htmldocs-4c60d9a1a0d0cd01727aff4334b00cf25935e634.tar.gz | |
Autogenerated HTML docs for v2.13.0-rc2
Diffstat (limited to 'git-pull.txt')
| -rw-r--r-- | git-pull.txt | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/git-pull.txt b/git-pull.txt index 4470e4b57..942af8e0f 100644 --- a/git-pull.txt +++ b/git-pull.txt @@ -67,7 +67,7 @@ with uncommitted changes is discouraged: while possible, it leaves you in a state that may be hard to back out of in the case of a conflict. If any of the remote changes overlap with local uncommitted changes, -the merge will be automatically cancelled and the work tree untouched. +the merge will be automatically canceled and the work tree untouched. It is generally best to get any local changes in working order before pulling or stash them away with linkgit:git-stash[1]. @@ -210,7 +210,8 @@ EXAMPLES current branch: + ------------------------------------------------ -$ git pull, git pull origin +$ git pull +$ git pull origin ------------------------------------------------ + Normally the branch merged in is the HEAD of the remote repository, |