Andrew's git / gitweb.git / diff
?
push: add '--delete' flag to synopsis
authorPatrick Steinhardt <ps@pks.im>
Mon, 14 Dec 2015 15:23:03 +0000 (16:23 +0100)
committerJunio C Hamano <gitster@pobox.com>
Mon, 14 Dec 2015 21:47:03 +0000 (13:47 -0800)
The delete flag is not mentioned in the synopsis of `git-push`.
Add the flag to make it more discoverable.

Signed-off-by: Patrick Steinhardt <ps@pks.im>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
No differences found