From: Anders Melchiorsen <mail@cup.kalibalik.dk>
Date: Sun, 18 Jan 2009 14:36:55 +0000 (+0100)
Subject: Documentation: git push repository can also be a remote
X-Git-Tag: v1.6.1.1~9^2~3
X-Git-Url: https://git.tokkee.org/?a=commitdiff_plain;h=98347fee9bbff2676dff39895f9419b129d92e43;p=git.git

Documentation: git push repository can also be a remote

This is copied from pull-fetch-param.txt and helps the reader
to not get stuck in the URL section.

Signed-off-by: Anders Melchiorsen <mail@cup.kalibalik.dk>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
---

diff --git a/Documentation/git-push.txt b/Documentation/git-push.txt
index 3321966c6..8bfa7cb7e 100644
--- a/Documentation/git-push.txt
+++ b/Documentation/git-push.txt
@@ -28,7 +28,9 @@ OPTIONS
 -------
 <repository>::
 	The "remote" repository that is destination of a push
-	operation.  See the section <<URLS,GIT URLS>> below.
+	operation.  This parameter can be either a URL
+	(see the section <<URLS,GIT URLS>> below) or the name
+	of a remote (see the section <<REMOTES,REMOTES>> below).
 
 <refspec>...::
 	The canonical format of a <refspec> parameter is