Document the permissions blocks in CI workflows

2026-08-18 17:20:37 +00:00 · 2026-07-14 17:04:25 +02:00
parent 7b2aae1016
commit 7f4c6901ac
4 changed files with 6 additions and 6 deletions
@@ -50,7 +50,7 @@ jobs:
  pages-docs:
    name: GitHub Pages
    permissions:
-      contents: write
+      contents: write # needed to push the built docs to the gh-pages branch
    runs-on: ubuntu-latest
    needs:
      - pre