Wladimir J. van der Laan da6d18b6c7 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

2016-01-20 13:02:45 +01:00

9.4 KiB

Executable File

Raw Blame History

View Raw