GitHub repository: mergerine/github-mergerine
Primary language: JavaScript
Description: GitHub bot to automatically merge PRs matching certain criteria.