From: Johan Herland Date: Sun, 27 May 2007 14:16:20 GMT Subject: [PATCH 13/15] git-note: (Documentation) Explain the new --notes option to git-push Message-ID: <200705271616.20882.johan@herland.net> In-Reply-To: <200705271608.02122.johan@herland.net> Signed-off-by: Johan Herland --- Documentation/git-push.txt | 7 ++++++- 1 files changed, 6 insertions(+), 1 deletions(-) diff --git a/Documentation/git-push.txt b/Documentation/git-push.txt index e9ad106..2e98844 100644 --- a/Documentation/git-push.txt +++ b/Documentation/git-push.txt @@ -9,7 +9,7 @@ git-push - Update remote refs along with associated objects SYNOPSIS -------- [verse] -'git-push' [--all] [--tags] [--receive-pack=] +'git-push' [--all] [--tags] [--notes] [--receive-pack=] [--repo=all] [-f | --force] [-v] [ ...] DESCRIPTION @@ -69,6 +69,11 @@ the remote repository. addition to refspecs explicitly listed on the command line. +\--notes:: + All refs under `$GIT_DIR/refs/notes` are pushed, in + addition to refspecs explicitly listed on the command + line. + \--receive-pack=:: Path to the 'git-receive-pack' program on the remote end. Sometimes useful when pushing to a remote -- 1.5.2.101.gee49f