devtools: show pull and commit information in github-merge
Print the number and title of the pull, as well as the commits to be
merged.
Description
Description
Details
Details
- Provenance
Wladimir J. van der Laan <laanwj@gmail.com> Authored on Jan 22 2016, 15:37 deadalnix Pushed on May 14 2017, 22:04 - Parents
- rABCfc0899400082: Merge #7262: Reduce inefficiency of GetAccountAddress()
- Branches
- Unknown
- Tags