summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAnders Melchiorsen <mail@cup.kalibalik.dk>2009-01-18 15:36:55 +0100
committerJunio C Hamano <gitster@pobox.com>2009-01-18 14:27:02 -0800
commit98347fee9bbff2676dff39895f9419b129d92e43 (patch)
tree1b1b015f262445ee0230c1dd238f257f0b8bbfa9
parent9d3043cf333ee500e476a558acb234b42e43cc62 (diff)
downloadgit-98347fee9bbff2676dff39895f9419b129d92e43.tar.gz
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>
-rw-r--r--Documentation/git-push.txt4
1 files changed, 3 insertions, 1 deletions
diff --git a/Documentation/git-push.txt b/Documentation/git-push.txt
index 3321966c6b..8bfa7cb7e5 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