https://najigram.com/2022/09/how-to-revert-a-git-commit/