@phpstan-bot Remove permissions section from react-on-comment workflow Since these permissions apply only to `secrets.GITHUB_TOKEN` and we're not using it in the workflow, it is misleading and should be removed. Thanks.
@phpstan-bot Remove permissions section from react-on-comment workflow
Since these permissions apply only to
secrets.GITHUB_TOKENand we're not using it in the workflow, it is misleading and should be removed. Thanks.