55a0de Hide the buttons to create pull-request when these are deactivated

Authored and Committed by Pierre-Yves Chibon 10 years ago
    Hide the buttons to create pull-request when these are deactivated
    
    Projects can turn off pull-requests, so there is then no point in showing
    the pull-request buttons at all