Merge #5: fix: gh-pages.yml permissions

70f5fad fix: gh-pages.yml permissions (Einherjar)

Pull request description:

  We had the error on `gh-pages` actions workflow.
  This might fix this.

  Source: https://github.com/marketplace/actions/github-pages-action#%EF%B8%8F-first-deployment-with-github_token

  > If the action fails to push the commit or tag with the following error:
  >
  > ```shell
  > /usr/bin/git push origin gh-pages
  > remote: Write access to repository not granted.
  > fatal: unable to access 'https://github.com/username/repository.git/': The requested URL returned error: 403
  > Error: Action failed with "The process '/usr/bin/git' failed with exit code 128"
  > ```
  >
  > Please add the `write` permission to the `permissions.contents` in a workflow/job.
  >
  > ```yml
  > permissions:
  >   contents: write
  > ```

ACKs for top commit:
  tcharding:
    ACK 70f5fad

Tree-SHA512: 4c243073967dfe4ccc35532ad573a903b3f44f983d4a2b1851db1b27852b3fcacb055203ab91e34252e4e35313bb1eba0d5a753dcb71522ae381ee176498a09f

Author: tcharding

.github/workflows/gh-pages.yml

@@ -9,6 +9,8 @@ on:
 jobs:
   deploy:
     runs-on: ubuntu-latest
+    permissions:
+      contents: write
     steps:
       - uses: actions/checkout@v4
         with: