aboutsummaryrefslogtreecommitdiff
path: root/contrib/devtools/github-merge.py
AgeCommit message (Expand)Author
2016-04-02devtools: Auto-set branch to merge to in github-mergeWladimir J. van der Laan
2016-03-23devtools: make github-merge.py use py3Wladimir J. van der Laan
2016-01-27devtools: Fix utf-8 support in messages for github-mergeWladimir J. van der Laan
2016-01-25Merge #7402: [devtools] github-merge get toplevel dir without extra whitespaceWladimir J. van der Laan
2016-01-25[devtools] github-merge get toplevel dir without extra whitespaceAndrew C
2016-01-22devtools: show pull and commit information in github-mergeWladimir J. van der Laan
2016-01-20devtools: replace github-merge with python versionWladimir J. van der Laan