Use automatic token for publication to GitHub Pages

Author: marcphilipp

.github/workflows/main.yml

@@ -104,6 +104,8 @@ jobs:
       cancel-in-progress: true
     needs: macOS
     runs-on: ubuntu-latest
+    permissions:
+      contents: write
     steps:
     - name: Check out repository
       uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4.2.2
@@ -135,4 +137,4 @@ jobs:
           -Dscan.tag.Documentation
       env:
         GIT_USERNAME: git
-        GIT_PASSWORD: ${{ secrets.GH_TOKEN }}
+        GIT_PASSWORD: ${{ secrets.GITHUB_TOKEN }}