diff options
author | Anders Melchiorsen <mail@cup.kalibalik.dk> | 2009-01-18 15:36:55 +0100 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2009-01-18 14:27:02 -0800 |
commit | 98347fee9bbff2676dff39895f9419b129d92e43 (patch) | |
tree | 1b1b015f262445ee0230c1dd238f257f0b8bbfa9 | |
parent | 9d3043cf333ee500e476a558acb234b42e43cc62 (diff) | |
download | git-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.txt | 4 |
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 |