Fix permissions

Author: tvdijen

.github/workflows/mk_docs.yml

@@ -12,6 +12,11 @@ on:
 
 jobs:
   build:
+    # Add "id-token" with the intended permissions.
+    permissions:
+      contents: 'read'
+      id-token: 'write'
+
     runs-on: ubuntu-latest
 
     steps:
@@ -32,5 +37,5 @@ jobs:
     - name: Deploy
       uses: peaceiris/actions-gh-pages@v4
       with:
-        github_token: ${{ secrets.GITHUB_TOKEN }}
+        personal_token: ${{ secrets.PAT_TOKEN }}
         publish_dir: ./_site