Fix docu pipeline (#333)

There is a change in github, and that broke the pipeline.

This is a try to fix the deployment.

.github/workflows/documentation.yaml

@@ -5,6 +5,8 @@ on:
     branches:
       - master
 
+  workflow_dispatch:
+
 jobs:
   generate-reference:
     runs-on: ubuntu-latest
@@ -38,10 +40,16 @@ jobs:
         path: ${{ github.workspace }}/reference
         name: reference-cache
         retention-days: 1
-  
+
   deploy:
     runs-on: ubuntu-latest
     needs: [generate-reference]
+
+    permissions:
+      pages: write
+      id-token: write
+      contents: write
+
     steps:
     - uses: actions/checkout@v4
 
@@ -81,7 +89,8 @@ jobs:
     - name: Deploy page
       uses: peaceiris/actions-gh-pages@v4
       with:
-        github_token: ${{ secrets.GITHUB_TOKEN }}     
+        github_token: ${{ secrets.GITHUB_TOKEN }}
         publish_dir: ./public
-        #   keep_files: true
-        publish_branch: gh-pages
+        publish_branch: gh-pages
+        user_name: 'github-actions[bot]'
+        user_email: 'github-actions[bot]@users.noreply.github.com'