ef2256 Hide the pull-request information block if there is no pull-request

Authored and Committed by Pierre-Yves Chibon 9 years ago
    Hide the pull-request information block if there is no pull-request