From 8ca6ae651f529397b2ffe853f5f9afbfe24523e3 Mon Sep 17 00:00:00 2001
From: Christoph Knittel <ck@cca.io>
Date: Sun, 13 Oct 2024 19:11:29 +0200
Subject: [PATCH] Are permissions really needed?

---
 .github/workflows/ci.yml | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index fc521e044d..b90d799d84 100644
--- 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.