From: Junio C Hamano <gitster@pobox.com>
Date: Tue, 12 Jan 2016 23:16:53 +0000 (-0800)
Subject: Merge branch 'ps/push-delete-option'
X-Git-Tag: v2.8.0-rc0~128
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=7b9d1b9556b31fe5f661caa1e82856ca876f2a08;p=thirdparty%2Fgit.git

Merge branch 'ps/push-delete-option'

"branch --delete" has "branch -d" but "push --delete" does not.

* ps/push-delete-option:
  push: add '-d' as shorthand for '--delete'
  push: add '--delete' flag to synopsis
---

7b9d1b9556b31fe5f661caa1e82856ca876f2a08