Proposal: add issue number to PR title