Revert "Complain when a pull request is not mergeable"

This reverts commit 67a76f411e1d2d6d6a896c4f8a57dc79414bc0db.