Gives GitHub PR commits nice default names.
Converts Github PR commits from this form:
`
Merge pull request #${prNumber} from ${repository}/${branchName}
${pullRequestTitle}
`
to
`${pullRequestTitle} (#${prNumber})`
which is a much more helpful description of the commit, and looks much nicer in history.