push: add '--delete' flag to synopsis
commitfff69f7053b175be5963b08f802e0e03dccd696a
authorPatrick Steinhardt <ps@pks.im>
Mon, 14 Dec 2015 15:23:03 +0000 (14 16:23 +0100)
committerJunio C Hamano <gitster@pobox.com>
Mon, 14 Dec 2015 21:47:03 +0000 (14 13:47 -0800)
treebf3cde4e947dd6707f1daf40f3135934392ebd20
parent4b9ab0ee0130090c63da2df83747b7b1d834ad98
push: add '--delete' flag to synopsis

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>
Documentation/git-push.txt