From 634e27bc42dc09a7df725644522597d8b317b308 Mon Sep 17 00:00:00 2001
From: Linus Dierheimer <Linus@Dierheimer.de>
Date: Thu, 24 Mar 2022 22:02:39 +0100
Subject: [PATCH] Try to give github actions the right permissions

---
 .github/workflows/pull_request.yml | 2 ++
 .github/workflows/push.yml         | 1 +
 2 files changed, 3 insertions(+)

diff --git a/.github/workflows/pull_request.yml b/.github/workflows/pull_request.yml
index b219247a5..fb27727a3 100644
--- a/.github/workflows/pull_request.yml
+++ b/.github/workflows/pull_request.yml
@@ -6,6 +6,8 @@ jobs:
   manage:
     name: manage pull request
     runs-on: ubuntu-latest
+    permissions:
+      security-events: write
     steps:
       - name: checkout repository
         uses: actions/checkout@v2
diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml
index 5e0b95e0b..7dc46a661 100644
--- a/.github/workflows/push.yml
+++ b/.github/workflows/push.yml
@@ -10,6 +10,7 @@ jobs:
     runs-on: ubuntu-latest
     permissions:
       contents: write
+      security-events: write
     steps:
       - name: checkout repository
         uses: actions/checkout@v2