https://learn-software.com/en/blog/git-revert-pushed/