since git 1.7.0 you can use "git push origin --delete <branchName>" instead of "git push origin :<branchName>", which makes a bit more sense :) found that option some time ago on http://stackoverflow.com/a/2003515
-Stefan On Wed, Feb 3, 2016 at 11:19 AM, Dawid Weiss <[email protected]> wrote: >> Unfortunately there is no other syntax (that I know of) that could replace >> it. > > Actually, you can create an alias for deleting a local (and remote) > branch, but I think this is even more scary than just learning what > the ':' stands for in a push... > > http://stackoverflow.com/a/16740731/1633019 > > D. > > --------------------------------------------------------------------- > To unsubscribe, e-mail: [email protected] > For additional commands, e-mail: [email protected] > --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
