@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.