mergerine/github-mergerine
DEPRECATED GitHub bot to automatically merge PRs matching certain criteria.
JavaScriptMIT
Issues
- 0
feat: maintain label on PR at top of queue
#26 opened by AndersDJohnson - 0
feat: status integration
#25 opened by AndersDJohnson - 0
feat: support BREAKING CHANGE
#24 opened by AndersDJohnson - 0
feat: support Jira issues & smart commits
#23 opened by AndersDJohnson - 0
refactor: use GitHub GraphQL API v4
#22 opened by AndersDJohnson - 2
feat: custom merge commit messages
#14 opened by AndersDJohnson - 0
docs: compare to palantir bulldozer
#21 opened by AndersDJohnson - 0
feat: support GitHub Events API
#6 opened by AndersDJohnson - 0
feat: do not necessarily require reviews
#20 opened by AndersDJohnson - 0
feat: optional health endpoint
#16 opened by AndersDJohnson - 0
feat: allow disabling updates
#15 opened by AndersDJohnson - 0
feat: schedule merge for future time
#13 opened by AndersDJohnson - 0
mergeable state "unknown"
#9 opened by jmccann - 0
feat: prefix logs by repo
#8 opened by AndersDJohnson - 0
- 0
Ignore PRs that are stale
#5 opened by rarneson - 0
Clean up the results log messages
#2 opened by rarneson - 0
Only log options once on startup
#3 opened by rarneson - 0
- 0