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 21:30:10 +0100 |
| commit | 38a2559113d62b0f67ed968db9ca82330b702a9c (patch) | |
| tree | 3c7eafa154c691cced98170c9b61436ad48b0304 /notes-utils.c | |
| parent | push: add '--delete' flag to synopsis (diff) | |
| download | git-38a2559113d62b0f67ed968db9ca82330b702a9c.tar.xz git-38a2559113d62b0f67ed968db9ca82330b702a9c.zip | |
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 'notes-utils.c')
0 files changed, 0 insertions, 0 deletions