GitHub bot to automatically merge PRs matching certain criteria.
github.com/mergerine/github-mergerine
mergerine/github-mergerine