Are permissions really needed?

rescript-lang · Oct 13, 2024 · 8ca6ae6 · 8ca6ae6
1 parent 7939b41
commit 8ca6ae6
Showing 1 changed file with 0 additions and 4 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -11,10 +11,6 @@ on:
   pull_request:
     branches: [master, 11.0_release]
 
-permissions:
-  # allow posting comments to pull request
-  pull-requests: write
-
 concurrency:
   group: ci-${{ github.ref }}-1
   # Cancel previous builds for pull requests only.