Commit 98db142
authored
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-jobs1 parent a549f5e commit 98db142
1 file changed
+4
-0
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
87 | 87 | | |
88 | 88 | | |
89 | 89 | | |
| 90 | + | |
| 91 | + | |
90 | 92 | | |
91 | 93 | | |
92 | 94 | | |
| |||
153 | 155 | | |
154 | 156 | | |
155 | 157 | | |
| 158 | + | |
| 159 | + | |
156 | 160 | | |
157 | 161 | | |
158 | 162 | | |
| |||
0 commit comments