Today I learned...

... how to undo a git commit locally and remotely.