]> granicus.if.org Git - git/commit
projects / git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fff69f7) | patch
push: add '-d' as shorthand for '--delete'
authorPatrick Steinhardt <ps@pks.im>
Mon, 14 Dec 2015 15:23:04 +0000 (16:23 +0100)
committerJunio C Hamano <gitster@pobox.com>
Wed, 16 Dec 2015 20:30:10 +0000 (12:30 -0800)
commit38a2559113d62b0f67ed968db9ca82330b702a9c
tree3c7eafa154c691cced98170c9b61436ad48b0304tree | snapshot
parentfff69f7053b175be5963b08f802e0e03dccd696acommit | diff
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 diff | blob | history
builtin/push.c diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.