GitHub bot to automatically merge PRs matching certain criteria.
Primary LanguageJavaScript
No issues in this repository yet.