Topic/url in pull merge

The motivation is that the URL is convenient to have when viewing the merge commit in normal git tools outside of the github web UI.