Merge pull request ocaml#21501 from turrisxyz/Pinned-Dependencies-GitHub

chore: Set permissions for GitHub actions

Author: avsm

.github/workflows/stale.yml

@@ -3,8 +3,13 @@ on:
   schedule:
   - cron: "25 * * * *"
 
+permissions:
+  contents: read
+
 jobs:
   stale:
+    permissions:
+      issues: write  # for actions/stale to close stale issues
     runs-on: ubuntu-latest
     steps:
     - uses: actions/stale@v4