[PATCH 1/4] Documentation: git push repository can also be a remote
- From
- Anders Melchiorsen <mail@cup.kalibalik.dk>
- Date
- Jan 18, 2009, 14:36 UTC
- Message-ID
- <1232289418-25627-2-git-send-email-mail@cup.kalibalik.dk>
- In-Reply-To
- <1232289418-25627-1-git-send-email-mail@cup.kalibalik.dk>
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> --- 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 3321966..8bfa7cb 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
-- 1.6.0.2.514.g23abd3