ethereum
Automerge bot needs Administrator permissions
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.
~~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.
Yeah, I think we could give the bot permission to push straight to master without a PR. Not sure if we want to go that route though.
Unless someone changed it recently, it looks like the bot already had admin:
