dev: pull_request_merge_one(): use $prq_github_url
dev: pull_request_merge_one(): include pull request URL in merge commit
Merge pull request #1749 from aspiers/topic/url-in-pull-merge

Merged by devtool for VictorLowther