Re: [PATCH 2/2] push: add '-d' as shorthand for '--delete'

2015-12-16 Thread Junio C Hamano
Jeff King writes: > At this point, it seems that "--delete" is useful, and nothing else has > been proposed for "-d" in the intervening years. It seems like a > reasonable use of the flag to me. I think there were two (and a half) reasons why we didn't let "--delete" use a

Re: [PATCH 2/2] push: add '-d' as shorthand for '--delete'

2015-12-16 Thread Jeff King
On Wed, Dec 16, 2015 at 12:29:38PM -0800, Junio C Hamano wrote: > Jeff King writes: > > > At this point, it seems that "--delete" is useful, and nothing else has > > been proposed for "-d" in the intervening years. It seems like a > > reasonable use of the flag to me. > > I

Re: [PATCH 2/2] push: add '-d' as shorthand for '--delete'

2015-12-15 Thread Patrick Steinhardt
On Mon, Dec 14, 2015 at 11:18:18AM -0800, Junio C Hamano wrote: > Patrick Steinhardt 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

[PATCH 2/2] push: add '-d' as shorthand for '--delete'

2015-12-14 Thread Patrick Steinhardt
It is only possible to delete branches on remotes by specifying the long '--delete' flag. The `git-branch` command, which can be used to delete local branches with the same '--delete' flag, also accepts the shorthand '-d'. This may cause confusion for users which are frequently using the shorthand

Re: [PATCH 2/2] push: add '-d' as shorthand for '--delete'

2015-12-14 Thread Junio C Hamano
Patrick Steinhardt 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". -- To unsubscribe from this list: send the line "unsubscribe

Re: [PATCH 2/2] push: add '-d' as shorthand for '--delete'

2015-12-14 Thread Jeff King
On Mon, Dec 14, 2015 at 04:23:04PM +0100, Patrick Steinhardt wrote: > It is only possible to delete branches on remotes by specifying > the long '--delete' flag. The `git-branch` command, which can be > used to delete local branches with the same '--delete' flag, also > accepts the shorthand