From: Patrick Steinhardt <ps@pks.im>
Date: Mon, 14 Dec 2015 15:23:03 +0000 (+0100)
Subject: push: add '--delete' flag to synopsis
X-Git-Tag: v2.8.0-rc0~128^2~1
X-Git-Url: https://git.lorimer.id.au/gitweb.git/diff_plain/fff69f7053b175be5963b08f802e0e03dccd696a?hp=fff69f7053b175be5963b08f802e0e03dccd696a

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>
---