aboutsummaryrefslogtreecommitdiff
path: root/contrib/devtools/github-merge.py
AgeCommit message (Expand)Author
2016-01-20devtools: replace github-merge with python versionWladimir J. van der Laan