55a4f2 Adjust showing/checking if the PR can be merged in the pull-request page

Authored and Committed by Pierre-Yves Chibon 8 years ago
    Adjust showing/checking if the PR can be merged in the pull-request page