diff options
author | Patrick Steinhardt <ps@pks.im> | 2015-12-14 16:23:03 +0100 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2015-12-14 13:47:03 -0800 |
commit | fff69f7053b175be5963b08f802e0e03dccd696a (patch) | |
tree | bf3cde4e947dd6707f1daf40f3135934392ebd20 /Documentation | |
parent | Update release notes to 2.7 (diff) | |
download | tgif-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.txt | 2 |
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>]]] |