From: Junio C Hamano 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: https://git.lorimer.id.au/gitweb.git/diff_plain/7b9d1b9556b31fe5f661caa1e82856ca876f2a08 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