Add auto_merge to PR_FILTER
sebastianludwig opened this issue · 1 comments
Similar to #232 we'd like to use Auto Update to help with our "ready to be merged" queue, after all checks have passed. We already use GitHub's auto-merge feature and the combination with Auto Update would be a killer combo we think. Once everybody agrees that a PR can be merged we could activate auto merging and auto update would take care of keeping the PR up to date until its time has come (it might have to rebuild a couple of times because other PRs get merged in the meantime).
Would it be possible to add an auto_merge condition to PR_FILTER which evaluates to true if GitHub's auto-merge feature is activated for a PR?
Workaround: use a label instead
Hey @sebastianludwig - I like the idea, let me see what I can do