devtools: show pull and commit information in github-merge #7395
Conversation
Print the number and title of the pull, as well as the commits to be merged.
|
Oh. Nice! Tested ACK: |
|
utACK On Friday, 22 January 2016, Jonas Schnelli [email protected] wrote:
|
|
@achow101 Yes, the python version is a direct conversion of the bash script, I don't expect it to solve any bugs, just make it easier to add features. I'll have a look at #7402 and include that. Edit: OH, that's a patch to the python version already and independent of this, I'll just merge that too. |
17b5d38 devtools: show pull and commit information in github-merge (Wladimir J. van der Laan)
…hub-merge 17b5d38 devtools: show pull and commit information in github-merge (Wladimir J. van der Laan)
4 participants
Print the number and title of the pull, as well as the commits to be merged.
Example:
