aboutsummaryrefslogtreecommitdiff
path: root/Documentation
diff options
context:
space:
mode:
authorJunio C Hamano <gitster@pobox.com>2010-01-10 08:52:45 -0800
committerJunio C Hamano <gitster@pobox.com>2010-01-10 08:52:45 -0800
commit84d52cabe7044786b5cc448ffeb97b7c1e667156 (patch)
tree2f57895a2c3dc9e781696c8b33b5593358a4aaea /Documentation
parent9c787f3f88f077ad23498cf03b1b57ac3bd41b33 (diff)
parentf517f1f2e9c9e3abe0fde1b3c9a7bb20fdb5ba55 (diff)
downloadgit-84d52cabe7044786b5cc448ffeb97b7c1e667156.tar.gz
git-84d52cabe7044786b5cc448ffeb97b7c1e667156.tar.xz
Merge branch 'jk/push-to-delete'
* jk/push-to-delete: builtin-push: add --delete as syntactic sugar for :foo
Diffstat (limited to 'Documentation')
-rw-r--r--Documentation/git-push.txt4
1 files changed, 4 insertions, 0 deletions
diff --git a/Documentation/git-push.txt b/Documentation/git-push.txt
index 52c0538df..e3eb1e8f1 100644
--- 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