fixup! Add GitHub Pages deployment workflow

Author: oschwald

.github/workflows/pages.yml

@@ -26,19 +26,9 @@ jobs:
         with:
           cache: true
 
-      - name: Resolve docs version
-        id: docs-version
-        run: |
-          git fetch origin gh-pages --depth=1 || true
-          v=$(git ls-tree -d origin/gh-pages doc/ 2>/dev/null \
-              | awk '{print $NF}' | sed 's|^doc/||' \
-              | grep -E '^v?[0-9]' | sort -V | tail -1)
-          echo "version=${v:-}" >> "$GITHUB_OUTPUT"
-
       - name: Build docs
         env:
           HUGO_BASEURL: https://${{ github.repository_owner }}.github.io/${{ github.event.repository.name }}/
-          HUGO_PARAMS_DOCSVERSION: ${{ steps.docs-version.outputs.version }}
         run: mise run build-docs
 
       - name: Push rendered site to gh-pages