/github-mergerine

DEPRECATED GitHub bot to automatically merge PRs matching certain criteria.

Primary LanguageJavaScriptMIT LicenseMIT

Issues