Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Fix the example of how to comment on pull request. (#220)
It doesn't work without granting permissions. https://docs.github.com/en/actions/using-jobs/assigning-permissions-to-jobs
- Loading branch information