From 5541828d9975e90bf026ca49314098bc4b8b5614 Mon Sep 17 00:00:00 2001
From: Sebastian Rittau <srittau@rittau.biz>
Date: Sat, 15 May 2021 14:25:00 +0200
Subject: [PATCH] Try to fix mypy_primer permissions

---
 .github/workflows/mypy_primer.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/mypy_primer.yml b/.github/workflows/mypy_primer.yml
index af42b94f6bc5..007a78278117 100644
--- a/.github/workflows/mypy_primer.yml
+++ b/.github/workflows/mypy_primer.yml
@@ -63,7 +63,7 @@ jobs:
     runs-on: ubuntu-latest
     needs: mypy_primer
     permissions:
-      contents: read
+      contents: write
       pull-requests: write
     steps:
       - name: Download diffs