Open

Description
Please consider adding a feature to revert pull requests, just like on github: https://help.github.com/en/articles/reverting-a-pull-request
Please consider adding a feature to revert pull requests, just like on github: https://help.github.com/en/articles/reverting-a-pull-request