summaryrefslogtreecommitdiff
path: root/Documentation/git-push.txt
diff options
context:
space:
mode:
authorJunio C Hamano <gitster@pobox.com>2016-01-12 23:16:53 (GMT)
committerJunio C Hamano <gitster@pobox.com>2016-01-12 23:16:54 (GMT)
commit7b9d1b9556b31fe5f661caa1e82856ca876f2a08 (patch)
tree6e862974db7482ccc5d4b5ed28b5dc968acc703f /Documentation/git-push.txt
parentce7da1d2818e42647e96f882bf9cf40a685a771f (diff)
parent38a2559113d62b0f67ed968db9ca82330b702a9c (diff)
downloadgit-7b9d1b9556b31fe5f661caa1e82856ca876f2a08.zip
git-7b9d1b9556b31fe5f661caa1e82856ca876f2a08.tar.gz
git-7b9d1b9556b31fe5f661caa1e82856ca876f2a08.tar.bz2
Merge branch 'ps/push-delete-option'
"branch --delete" has "branch -d" but "push --delete" does not. * ps/push-delete-option: push: add '-d' as shorthand for '--delete' push: add '--delete' flag to synopsis
Diffstat (limited to 'Documentation/git-push.txt')
-rw-r--r--Documentation/git-push.txt2
1 files changed, 1 insertions, 1 deletions
diff --git a/Documentation/git-push.txt b/Documentation/git-push.txt
index 4c775bc..32482ce 100644
--- a/Documentation/git-push.txt
+++ b/Documentation/git-push.txt
@@ -10,7 +10,7 @@ SYNOPSIS
--------
[verse]
'git push' [--all | --mirror | --tags] [--follow-tags] [--atomic] [-n | --dry-run] [--receive-pack=<git-receive-pack>]
- [--repo=<repository>] [-f | --force] [--prune] [-v | --verbose]
+ [--repo=<repository>] [-f | --force] [-d | --delete] [--prune] [-v | --verbose]
[-u | --set-upstream]
[--[no-]signed|--sign=(true|false|if-asked)]
[--force-with-lease[=<refname>[:<expect>]]]