| Age | Commit message (Collapse) | Author |
|---|
|
5ed2f16 [devtools] github-merge get toplevel dir without extra whitespace (Andrew C)
|
|
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.
|
|
Print the number and title of the pull, as well as the commits to be
merged.
|
|
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
|
