Fix GitHub Actions workflows (#2)

* Configure the git user and email address in the GitHub Pages workflow jobs
* Add commit permissions to the GitHub Pages workflow jobs
* List the available docs versions at the end of the GitHub Pages workflow jobs

Author: Callum027

.github/workflows/main.yml

@@ -10,11 +10,17 @@ on:
 jobs:
   publish-github-pages:
     runs-on: ubuntu-22.04
+    permissions:
+      contents: write
     steps:
       - name: Clone full tree, and checkout branch
         uses: actions/checkout@v4
         with:
           fetch-depth: 0
+      - name: Configure git user
+        run: |
+          git config --global user.name "${GITHUB_ACTOR}"
+          git config --global user.email "${GITHUB_ACTOR}@users.noreply.github.com"
       - name: Setup Python and PDM
         uses: pdm-project/setup-pdm@v4
         with:
@@ -24,3 +30,5 @@ jobs:
         run: pdm install
       - name: Publish the docs to GitHub Pages
         run: pdm run mike deploy --push develop
+      - name: List available docs versions
+        run: pdm run mike list

.github/workflows/tag.yml

@@ -80,11 +80,17 @@ jobs:
 
   publish-github-pages:
     runs-on: ubuntu-22.04
+    permissions:
+      contents: write
     steps:
       - name: Clone full tree, and checkout branch
         uses: actions/checkout@v4
         with:
           fetch-depth: 0
+      - name: Configure git user
+        run: |
+          git config --global user.name "${GITHUB_ACTOR}"
+          git config --global user.email "${GITHUB_ACTOR}@users.noreply.github.com"
       - name: Setup Python and PDM
         uses: pdm-project/setup-pdm@v4
         with:
@@ -94,3 +100,5 @@ jobs:
         run: pdm install
       - name: Publish the docs to GitHub Pages
         run: pdm run mike deploy --push --update-aliases ${{ github.ref_name }} latest
+      - name: List available docs versions
+        run: pdm run mike list