Add permissions for contents to enable GitHub Pages deployment

MariusStorhaug · MariusStorhaug · commit f81709cd557b · 2025-08-04T12:54:19.000+02:00
diff --git a/.github/workflows/Docs.yml b/.github/workflows/Docs.yml
@@ -19,6 +19,7 @@ defaults:
     shell: pwsh
 
 permissions:
+  contents: write  # to push GitHub Pages to the gh-pages branch
   pages: write    # to deploy to Pages
   id-token: write # to verify the deployment originates from an appropriate source
 
