dash/blackcoin-more
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
10,960 Commits 4 Branches 0 Tags
f6d3a70fbff8a42374874dd286b8520354cced19
Commit Graph

3 Commits

Author SHA1 Message Date
Andrew C
f6d3a70fbf [devtools] github-merge get toplevel dir without extra whitespace 
Fixes a bug in github merge when it runs the tests where the toplevel directory has an extra '\n' appended to the path string. Now it doesn't.
 2018-11-09 22:51:15 +03:00
Wladimir J. van der Laan
7dfa83448d 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.
 2018-11-09 22:51:06 +03:00
Wladimir J. van der Laan
ceeecd99da devtools: replace github-merge with python version 
This is meant to be a direct translation of the bash script,
with the difference that it retrieves the PR title from github,
thus creating pull messages like:

    Merge #12345: Expose transaction temperature over RPC
 2018-11-09 22:50:54 +03:00