From bd4652c4ac41c19a09cdabfb6a4ae5000b3fe42c Mon Sep 17 00:00:00 2001
From: Jelle van Snik <jellevs@gmail.com>
Date: Mon, 2 May 2022 16:27:57 +0200
Subject: [PATCH] try to make pull requests work with linting

---
 .github/workflows/linting.yml | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/.github/workflows/linting.yml b/.github/workflows/linting.yml
index e74fa3b3..33db8187 100644
--- a/.github/workflows/linting.yml
+++ b/.github/workflows/linting.yml
@@ -8,11 +8,6 @@ on:
   pull_request_target:
     types: [opened, reopened, synchronize]
 
-# needs write to add annotations
-permissions:
-  checks: write
-  contents: write
-
 jobs:
   linting:
     name: Run linters