git.99rst.org / git.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fff69f7)
push: add '-d' as shorthand for '--delete'
authorPatrick Steinhardt <redacted>
Mon, 14 Dec 2015 15:23:04 +0000 (16:23 +0100)
committerJunio C Hamano <redacted>
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 <redacted>
Signed-off-by: Junio C Hamano <redacted>
Documentation/git-push.txt diff | blob | history
builtin/push.c diff | blob | history
git clone https://git.99rst.org/PROJECT