From 056981b957402a1118a987b97b2e357674685257 Mon Sep 17 00:00:00 2001
From: Sebastian Rittau <srittau@rittau.biz>
Date: Sat, 15 May 2021 14:37:27 +0200
Subject: [PATCH] Try to fix mypy_primer permissions (#5462)

Cf.  #5459
---
 .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 af42b94f6..007a78278 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