From b464d2f10c0ffaf69a812af7c2ecc71e3d0b2bba Mon Sep 17 00:00:00 2001
From: Sonja Heinze <sonjaleaheinze@gmail.com>
Date: Wed, 22 Nov 2023 16:02:24 +0100
Subject: [PATCH] Update the permissions

---
 .github/workflows/fuzzy-ci.yml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/fuzzy-ci.yml b/.github/workflows/fuzzy-ci.yml
index 2d690ed56a..b0bccfbc4b 100644
--- a/.github/workflows/fuzzy-ci.yml
+++ b/.github/workflows/fuzzy-ci.yml
@@ -84,7 +84,8 @@ jobs:
     if: github.event_name == 'pull_request' && github.event.action == 'labeled' && github.event.label.name == 'fuzzy-diff-looks-good'
     runs-on: ubuntu-22.04
     # FIXME: Which permission is necessary?
-    permissions: write-all
+    permissions:
+      pull-requests: write
     steps:
       - name: Retreive diff artifact meta-data
         id: diff_metadata