Automerge bot needs Administrator permissions
Pandapip1 opened this issue · comments
Gavin John commented
Pull Request
No response
What happened?
@eth-bot needs admin permissions to bypass CI checks for "move to stagnant" PRs.
Relevant log output
I reran the stale bot recently, and due to a separate bug it didn't try to merge the PR it was continually trying to merge. So 3 months worth of stagnant PRs were opened.
Gavin John commented
@SamWilsn would you mind fixing?
Gavin John commented
Actually, I found https://github.blog/changelog/2021-11-19-allow-bypassing-required-pull-requests/. Is this possible to do with our current GitHub plan?
Never mind, this deals with pushing without making a PR and wouldn't work.
Sam Wilson commented
Sam Wilson commented
Gavin John commented
Huh, weird. Must be some other bug. I'll look into it.