contrib: show pull # in prompt for github-merge script
Description
Description
Details
Details
- Provenance
Wladimir J. van der Laan <laanwj@gmail.com> Authored on Dec 9 2014, 09:16 deadalnix Pushed on May 14 2017, 22:04 - Parents
- rABC7f76dda9036e: Merge pull request #5216
- Branches
- Unknown
- Tags