diff options
author | Jan Krüger <jk@jk.gs> | 2009-12-30 20:57:42 +0100 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2009-12-30 14:01:55 -0800 |
commit | f517f1f2e9c9e3abe0fde1b3c9a7bb20fdb5ba55 (patch) | |
tree | 40a2b31e66b097ed531dff0c401541fe45a8699d /Documentation/git-push.txt | |
parent | 902f235378cb2b2f6dd5dd664b9630c95321f0ae (diff) | |
download | git-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/git-push.txt')
-rw-r--r-- | Documentation/git-push.txt | 4 |
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 |