On Mon, Dec 14, 2015 at 11:18:18AM -0800, Junio C Hamano wrote:
> Patrick Steinhardt <ps@pks.im> 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".

Well, sure, didn't think about this when phrasing the commit
message. Still I think my point stands that it is more convenient
for users to also have the '-d' shorthand, as is also in use for
branch deletion in `git-branch`. I'll resend this patch with a
corrected message.

Patrick