On Mon, Dec 14, 2015 at 11:18:18AM -0800, Junio C Hamano wrote: > Patrick Steinhardt <p...@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
signature.asc
Description: Digital signature
