Reverting a commit so that a pull request can be merged automatically