pr-revert is a tool for reverting pull requests - View it on GitHub