https://ubuntuask.com/blog/how-to-revert-changes-in-git.