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

On Mon, Dec 14, 2015 at 11:18:18AM -0800, Junio C Hamano wrote:

Patrick Steinhardt [off-list ref] writes:

quoted

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