diff options
authorRené Genz <>2017-04-30 14:54:25 (GMT)
committerJunio C Hamano <>2017-05-01 02:03:08 (GMT)
commitd395745d8108568934006c6411146bc93cc54737 (patch)
parent49800c940790cc7465d1b03e08d472ffd8684808 (diff)
doc: git-pull.txt use US spelling, fix minor typo
Signed-off-by: René Genz <> Signed-off-by: Junio C Hamano <>
1 files changed, 3 insertions, 2 deletions
diff --git a/Documentation/git-pull.txt b/Documentation/git-pull.txt
index 4470e4b..942af8e 100644
--- a/Documentation/git-pull.txt
+++ b/Documentation/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,