<@U0F3291QE> For things you pushed, Revert is best...

# tornadofx

[carlw]

@edvin For things you pushed, Revert is best. It applies the opposite changes to the previous commit. Reset if fine if you haven't pushed. That just moves the head pointer back, lopping off the offending commit.