push: add '-d' as shorthand for '--delete'
commit38a2559113d62b0f67ed968db9ca82330b702a9c
authorPatrick Steinhardt <ps@pks.im>
Mon, 14 Dec 2015 15:23:04 +0000 (14 16:23 +0100)
committerJunio C Hamano <gitster@pobox.com>
Wed, 16 Dec 2015 20:30:10 +0000 (16 12:30 -0800)
tree3c7eafa154c691cced98170c9b61436ad48b0304
parentfff69f7053b175be5963b08f802e0e03dccd696a
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>
Documentation/git-push.txt
builtin/push.c