Minor clean up

2024-05-21 15:09:28 +02:00
parent f50004f50d
commit 6005f0db44
21 changed files with 52 additions and 52 deletions
@@ -25,7 +25,7 @@ jobs:
    if: ${{ github.event.workflow_run.conclusion == 'success' }}

    permissions:
-      # Only allow write for security, then all others default to read only
+      # Only allow 'write' permission for security, then all others default to read only
      security-events: write

    strategy: