[PATCH v4 6/7] pull: cleanup documentation

From: Felipe Contreras <felipe.contreras@gmail.com>
Date: Oct 12, 2013, 07:01 UTC
Message-ID: <1381561322-20059-5-git-send-email-felipe.contreras@gmail.com>
In-Reply-To: <1381561322-20059-1-git-send-email-felipe.contreras@gmail.com>

'origin/master' is very clear, no need to specify the 'remotes/' prefix, or babysit the user.

Signed-off-by: Felipe Contreras <felipe.contreras@gmail.com>
---
 Documentation/git-pull.txt | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Documentation/git-pull.txt b/Documentation/git-pull.txt
index e09f004..6d55737 100644
--- a/Documentation/git-pull.txt
+++ b/Documentation/git-pull.txt
@@ -39,7 +39,7 @@ Assume the following history exists and the current branch is
 "`master`":
 
 ------------
-	  A---B---C master on origin
+	  A---B---C origin/master
 	 /
     D---E---F---G master
 ------------
@@ -51,7 +51,7 @@ result in a new commit along with the names of the two parent commits
 and a log message from the user describing the changes.
 
 ------------
-	  A---B---C remotes/origin/master
+	  A---B---C origin/master
 	 /         \
     D---E---F---G---H master
 ------------

-- 
1.8.4-fc