Re: [PATCH 2/2] push: add '-d' as shorthand for '--delete'

Patrick Steinhardt [off-list ref] writes:

It is only possible to delete branches on remotes by specifying
the long '--delete' flag.

Not really.  "git push origin :unnecessary-branch" should just work
with out "--delete" or "-d".