Try to give github actions the right permissions

.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

.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