Reverting to a previous git commit

Fortunately it's pretty easy to do:

git revert --no-commit <commit-version>..HEAD
git commit
git push