diff options
| author |  Junio C Hamano <gitster@pobox.com> | 2010-01-10 08:52:45 -0800 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2010-01-10 08:52:45 -0800 |
| commit | 84d52cabe7044786b5cc448ffeb97b7c1e667156 (patch) | |
| tree | 2f57895a2c3dc9e781696c8b33b5593358a4aaea /Documentation | |
| parent | Merge branch 'mm/config-path' (diff) | |
| parent | builtin-push: add --delete as syntactic sugar for :foo (diff) | |
| download | tgif-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.txt | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Documentation/git-push.txt b/Documentation/git-push.txt index 52c0538df5..e3eb1e8f19 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 |