Useful git commands

Yea, its done locally, but what I normally do afterwards is to do a force push to the repo with the delete all remote branch commands.

Apart from that, I believe Gitlab has something to reset the project. I’m not sure about Github.