aboutsummaryrefslogtreecommitdiff
path: root/contrib/devtools/github-merge.sh
AgeCommit message (Expand)Author
2013-11-24contrib: add sipa's github-merge scriptWladimir J. van der Laan