prmerge

Overview ¶

Merges dependency pull requests that are both mergeable and fully green.

Only PRs whose head branch starts with "renovate/" are touched: a human PR is never merged by this. A PR with no checks at all is left alone too -- green means checks ran and passed, not that none exist.