920c7d7 Rework the titles in the pull-request page

Authored and Committed by pingou 8 years ago
    Rework the titles in the pull-request page