summaryrefslogtreecommitdiffstats
path: root/git-push.txt
diff options
context:
space:
mode:
authorJunio C Hamano <gitster@pobox.com>2012-02-26 23:49:19 -0800
committerJunio C Hamano <gitster@pobox.com>2012-02-26 23:49:19 -0800
commitf54f08e1ae0f906246db7b590eda35a168a9b34d (patch)
treea59fab5a7798c887416e23ecfed6d7656dfcf926 /git-push.txt
parent8c6a7b0f952c0a1b2e5b5bb2c1feb4d91970fb8d (diff)
downloadgit-htmldocs-f54f08e1ae0f906246db7b590eda35a168a9b34d.tar.gz
Autogenerated HTML docs for v1.7.9.2-302-g3724c
Diffstat (limited to 'git-push.txt')
-rw-r--r--git-push.txt10
1 files changed, 9 insertions, 1 deletions
diff --git a/git-push.txt b/git-push.txt
index aede48877..48760db33 100644
--- a/git-push.txt
+++ b/git-push.txt
@@ -10,7 +10,7 @@ SYNOPSIS
--------
[verse]
'git push' [--all | --mirror | --tags] [-n | --dry-run] [--receive-pack=<git-receive-pack>]
- [--repo=<repository>] [-f | --force] [-v | --verbose] [-u | --set-upstream]
+ [--repo=<repository>] [-f | --force] [--prune] [-v | --verbose] [-u | --set-upstream]
[<repository> [<refspec>...]]
DESCRIPTION
@@ -71,6 +71,14 @@ nor in any Push line of the corresponding remotes file---see below).
Instead of naming each ref to push, specifies that all
refs under `refs/heads/` be pushed.
+--prune::
+ Remove remote branches that don't have a local counterpart. For example
+ a remote branch `tmp` will be removed if a local branch with the same
+ name doesn't exist any more. This also respects refspecs, e.g.
+ `git push --prune remote refs/heads/{asterisk}:refs/tmp/{asterisk}` would
+ make sure that remote `refs/tmp/foo` will be removed if `refs/heads/foo`
+ doesn't exist.
+
--mirror::
Instead of naming each ref to push, specifies that all
refs under `refs/` (which includes but is not