Merge pull request #5449
6e6a36c contrib: show pull # in prompt for github-merge script (Wladimir J. van der Laan)
Description
Description
Details
Details
- Provenance
Wladimir J. van der Laan <laanwj@gmail.com> Authored on Dec 9 2014, 14:33 schancel Pushed on Jan 5 2018, 21:58 schancel Pushed on Jan 5 2018, 21:39 schancel Pushed on Jan 5 2018, 21:17 - Parents
- rSTAGING6e6a36ce308a: contrib: show pull # in prompt for github-merge script
rSTAGING09ac7f9e6d3f: Merge pull request #5427 - Branches
- Unknown
- Tags
Merged Changes
Merged Changes