Re: [PATCH 2/2] push: add '-d' as shorthand for '--delete'
- From
Patrick Steinhardt <ps@pks.im>
- Date
- Dec 15, 2015, 09:22 UTC
- 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:
Show 7 quoted lines
> 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