I would like to know if there is a way (or is it planned on Github side) to allow merge a Pull Request of a revert of a protected branch on Github. 100% should be stable code so we would like to speed up our workflow of doing a revert.
Our team would like to:
* Be able to merge the PR of a revert with no approval
* Skip Jenkins checks (maybe this can be controlled touching our hooks but if we can skip Jenkin’s job would be awesome).