aboutsummaryrefslogtreecommitdiff
path: root/Documentation
diff options
context:
space:
mode:
authorJan Krüger <jk@jk.gs>2009-12-30 20:57:42 +0100
committerJunio C Hamano <gitster@pobox.com>2009-12-30 14:01:55 -0800
commitf517f1f2e9c9e3abe0fde1b3c9a7bb20fdb5ba55 (patch)
tree40a2b31e66b097ed531dff0c401541fe45a8699d /Documentation
parent902f235378cb2b2f6dd5dd664b9630c95321f0ae (diff)
downloadgit-f517f1f2e9c9e3abe0fde1b3c9a7bb20fdb5ba55.tar.gz
git-f517f1f2e9c9e3abe0fde1b3c9a7bb20fdb5ba55.tar.xz
builtin-push: add --delete as syntactic sugar for :foo
Refspecs without a source side have been reported as confusing by many. As an alternative, this adds support for commands like: git push origin --delete somebranch git push origin --delete tag sometag Specifically, --delete will prepend a colon to all colon-less refspecs given on the command line, and will refuse to accept refspecs with colons to prevent undue confusion. Signed-off-by: Jan Krüger <jk@jk.gs> Signed-off-by: Junio C Hamano <gitster@pobox.com>
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