Clean up workflows

2026-04-13 19:56:19 +02:00
parent 5f7398049f
commit 98671d31fb
9 changed files with 34 additions and 21 deletions
@@ -12,13 +12,15 @@ on:
    name: pr-fix
  reaction: "eyes"

-permissions: read-all
-
-network: defaults
+permissions:
+  contents: read
+  pull-requests: read
+  actions: read
+  checks: read
+  issues: read

 tools:
  web-fetch:
-  bash: true
  github:
    min-integrity: none # This workflow is allowed to examine any PR because it's invoked by a repo maintainer