Thanks Stefan, this is good to know! Dawid
On Wed, Feb 3, 2016 at 4:22 PM, Stefan Matheis <[email protected]> wrote: > 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] > --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
