Merge branch 'maint'

diff --git a/Documentation/git-push.txt b/Documentation/git-push.txt
index 52c0538df528ecbb5b755a2e75fc1715762bfc00..e3eb1e8f193f4f60fb2190d8335ba347f7fccb32 100644 (file)
--- a/Documentation/git-push.txt
+++ b/Documentation/git-push.txt
@@ -91,6 +91,10 @@ nor in any Push line of the corresponding remotes file---see below).
        will be tab-separated and sent to stdout instead of stderr.  The full
        symbolic names of the refs will be given.
 
+--delete::
+       All listed refs are deleted from the remote repository. This is
+       the same as prefixing all refs with a colon.
+
 --tags::
        All refs under `$GIT_DIR/refs/tags` are pushed, in
        addition to refspecs explicitly listed on the command