From: Junio C Hamano <gitster@pobox.com>
Date: Mon, 14 Dec 2015 19:18:18 GMT
Subject: Re: [PATCH 2/2] push: add '-d' as shorthand for '--delete'
Message-ID: <xmqqegeokfet.fsf@gitster.mtv.corp.google.com>
In-Reply-To: <1450106584-22313-2-git-send-email-ps@pks.im>

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