diff options
author | Junio C Hamano <gitster@pobox.com> | 2016-01-13 02:16:53 +0300 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2016-01-13 02:16:54 +0300 |
commit | 7b9d1b9556b31fe5f661caa1e82856ca876f2a08 (patch) | |
tree | 6e862974db7482ccc5d4b5ed28b5dc968acc703f /Documentation/git-push.txt | |
parent | ce7da1d2818e42647e96f882bf9cf40a685a771f (diff) | |
parent | 38a2559113d62b0f67ed968db9ca82330b702a9c (diff) |
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.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Documentation/git-push.txt b/Documentation/git-push.txt index 4c775bcec4..32482cec42 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>]]] |