summaryrefslogtreecommitdiff
path: root/Documentation
diff options
context:
space:
mode:
authorLibravatar Patrick Steinhardt <ps@pks.im>2015-12-14 16:23:03 +0100
committerLibravatar Junio C Hamano <gitster@pobox.com>2015-12-14 13:47:03 -0800
commitfff69f7053b175be5963b08f802e0e03dccd696a (patch)
treebf3cde4e947dd6707f1daf40f3135934392ebd20 /Documentation
parentUpdate release notes to 2.7 (diff)
downloadtgif-fff69f7053b175be5963b08f802e0e03dccd696a.tar.xz
push: add '--delete' flag to synopsis
The delete flag is not mentioned in the synopsis of `git-push`. Add the flag to make it more discoverable. Signed-off-by: Patrick Steinhardt <ps@pks.im> Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation')
-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 85a4d7d6d5..e830c08dc1 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] [--delete] [--prune] [-v | --verbose]
[-u | --set-upstream]
[--[no-]signed|--sign=(true|false|if-asked)]
[--force-with-lease[=<refname>[:<expect>]]]