9e63a66 Fix the headers of the table listing all the pull-request

Authored and Committed by pingou 7 years ago
    Fix the headers of the table listing all the pull-request
    
    We had one less header than column in the table under and the header
    wasn't always reflecting the content.
    This commit fixes it.