https://howtowebjol.blogspot.com/2022/06/the-best-how-to-revert-commit-in-git.html