Unable to merge PR if the repository has a read-only workflow
aeiouaeiouaeiouaeiouaeiouaeiou opened this issue · comments
The master branch has a GitHub Actions workflow with this part of the code:
permissions:
contents: read
Before this bot worked just perfectly, but for now pull requests are stuck until update the branch yourself.
I suspect this is working as expected, when workflow files are changed in a PR, GitHub does not allow bots to merge PRs by default.