summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJunio C Hamano <gitster@pobox.com>2012-11-27 13:29:08 -0800
committerJunio C Hamano <gitster@pobox.com>2012-11-27 13:29:08 -0800
commitb7973fbbc3f8f72df352f4ef1a2ff325db92c36f (patch)
treeef64c2b4be6232c965129030a63492a96e823d27
parent77b598b438e51d45229fe945e2139a7789a150bc (diff)
parent86ef7b37f921dccff6d940fb17005e0906a2bf3e (diff)
downloadgit-b7973fbbc3f8f72df352f4ef1a2ff325db92c36f.tar.gz
Merge branch 'maint'
-rw-r--r--Documentation/git-push.txt3
1 files changed, 2 insertions, 1 deletions
diff --git a/Documentation/git-push.txt b/Documentation/git-push.txt
index fe46c4258a..6d19d59ce5 100644
--- a/Documentation/git-push.txt
+++ b/Documentation/git-push.txt
@@ -286,7 +286,8 @@ leading to commit A. The history looks like this:
----------------
Further suppose that the other person already pushed changes leading to A
-back to the original repository you two obtained the original commit X.
+back to the original repository from which you two obtained the original
+commit X.
The push done by the other person updated the branch that used to point at
commit X to point at commit A. It is a fast-forward.