Re: [Evolution-hackers] When talking about branches...

[Matthew Barnes <mbarnes redhat com>]

On Thu, 2014-03-06 at 11:40 -0500, Paul Smith wrote:
> If you have a new-ish git you can use the --delete flag instead of the
> colon (exactly the same result, but more readable):
>
>   git push --delete origin <branch-name>

Thanks for the tip, that's much easier to remember.

Matt