contrib: show pull # in prompt for github-merge script
Merge pull request #5449

6e6a36c contrib: show pull # in prompt for github-merge script (Wladimir J. van der Laan)