From: Anders Melchiorsen Date: Sun, 18 Jan 2009 14:36:55 GMT Subject: [PATCH 1/4] Documentation: git push repository can also be a remote 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 --- 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 ------- :: The "remote" repository that is destination of a push - operation. See the section <> below. + operation. This parameter can be either a URL + (see the section <> below) or the name + of a remote (see the section <> below). ...:: The canonical format of a parameter is -- 1.6.0.2.514.g23abd3