Pinned Repositories
github-mergerine
DEPRECATED GitHub bot to automatically merge PRs matching certain criteria.
mergerine's Repositories
mergerine/github-mergerine
DEPRECATED GitHub bot to automatically merge PRs matching certain criteria.
DEPRECATED GitHub bot to automatically merge PRs matching certain criteria.
DEPRECATED GitHub bot to automatically merge PRs matching certain criteria.