Remove unneeded permissions

cknitt · cknitt · commit 9d5fc9dd5d6c · 2024-10-14T19:40:43.000+02:00
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.
