From: Patrick Steinhardt <ps@pks.im>
Date: Tue, 15 Dec 2015 09:22:06 GMT
Subject: Re: [PATCH 2/2] push: add '-d' as shorthand for '--delete'
Message-ID: <20151215092206.GA1209@pks-xps.elego.de>
In-Reply-To: <xmqqegeokfet.fsf@gitster.mtv.corp.google.com>

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