[PATCH 13/15] git-note: (Documentation) Explain the new --notes option to git-push
Signed-off-by: Johan Herland <johan@herland.net>
---
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-receive-pack>]
+'git-push' [--all] [--tags] [--notes] [--receive-pack=<git-receive-pack>]
[--repo=all] [-f | --force] [-v] [<repository> <refspec>...]
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=<git-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
Johan Herland <johan@herland.net>