Improve GitHub pull request support.