Comments on perm that make doc deployment work.

nfdi4cat · Dec 8, 2023 · 2a462ac · 2a462ac
1 parent b61742e
commit 2a462ac
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/deploy-docs.yaml b/.github/workflows/deploy-docs.yaml
@@ -11,7 +11,7 @@ jobs:
 
     # Grant GITHUB_TOKEN the permissions required to make a Pages deployment
     permissions:
-      contents: write  # to read the contents of the repository
+      contents: write  # to let mkdocs write the new docs
       pages: write     # to deploy to Pages
       id-token: write  # to verify the deployment originates from an appropriate source