Andrew's git / gitweb.git / diff
?
push: add '--delete' flag to synopsis
authorPatrick Steinhardt <ps@pks.im>
Mon, 14 Dec 2015 15:23:03 +0000 (16:23 +0100)
committerJunio C Hamano <gitster@pobox.com>
Mon, 14 Dec 2015 21:47:03 +0000 (13:47 -0800)
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>
Documentation/git-push.txt patch | blob | history
diff --git a/Documentation/git-push.txt b/Documentation/git-push.txt
index 85a4d7d6d5bf1958ea93813787b6a3f20ad6e023..e830c08dc1031f6adeb271ae2d2b9d991324697d 100644 (file)
--- 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>]]]