From: Anders Melchiorsen Date: Wed, 29 Oct 2008 20:25:40 GMT Subject: [PATCH 2/7] Documentation: git push repository can also be a remote Message-ID: <1225311945-17100-3-git-send-email-mail@cup.kalibalik.dk> In-Reply-To: <1225311945-17100-2-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 df99c0b..02c7dae 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