aboutsummaryrefslogtreecommitdiff
path: root/contrib/devtools/github-merge.py
Commit message (Expand)AuthorAgeFilesLines
* Remove unused Python importspracticalswift2017-01-131-1/+1
* [copyright] copyright header style uniformisle29832016-11-061-1/+1
* devtools: Auto-set branch to merge to in github-mergeWladimir J. van der Laan2016-04-021-12/+22
* devtools: make github-merge.py use py3Wladimir J. van der Laan2016-03-231-7/+13
* devtools: Fix utf-8 support in messages for github-mergeWladimir J. van der Laan2016-01-271-3/+3
* Merge #7402: [devtools] github-merge get toplevel dir without extra whitespaceWladimir J. van der Laan2016-01-251-1/+1
|\
| * [devtools] github-merge get toplevel dir without extra whitespaceAndrew C2016-01-251-1/+1
* | devtools: show pull and commit information in github-mergeWladimir J. van der Laan2016-01-221-0/+12
|/
* devtools: replace github-merge with python versionWladimir J. van der Laan2016-01-201-0/+223