diff options
| author | Patrick Steinhardt <ps@pks.im> | 2015-12-14 16:23:04 +0100 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2015-12-16 12:30:10 -0800 |
| commit | 38a2559113d62b0f67ed968db9ca82330b702a9c (patch) | |
| tree | 3c7eafa154c691cced98170c9b61436ad48b0304 /Documentation/git-push.txt | |
| parent | fff69f7053b175be5963b08f802e0e03dccd696a (diff) | |
| download | git-38a2559113d62b0f67ed968db9ca82330b702a9c.tar.gz | |
push: add '-d' as shorthand for '--delete'
"git push" takes "--delete" but does not take a short form "-d",
unlike "git branch" which does take both. Bring consistency
between them.
Signed-off-by: Patrick Steinhardt <ps@pks.im>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
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 e830c08dc1..6f5d98c0ea 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] [--delete] [--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>]]] |