Revert "Revert "Complain when a pull request is not mergeable""

This reverts commit 1950fbef76d8bc383b6fd745dac87801827e9e44.