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 _______________________________________________ evolution-hackers mailing list evolution-hackers@gnome.org To change your list options or unsubscribe, visit ... https://mail.gnome.org/mailman/listinfo/evolution-hackers