Scenario: A PR has been merged and further tests found out that it breaks the build. What do you do? 1git checkout -b to-revert-commits 2git revert <sha-to-remove> 3git push -u origin to-revert-commits 45## create a Pull Request and have it reviewed and merged by others.

See https://github.com/blog/2019-how-to-undo-almost-anything-with-git