commit 15ec275

ci: use the much better wheel provided by git-pages

 1@@ -19,13 +19,8 @@ jobs:
 2       - name: Build pages
 3         run: ./generate_pages
 4       - name: Deploy pages
 5-        run: |
 6-          cd output
 7-          git init
 8-          git config user.name $FORGEJO_ACTOR
 9-          git config user.email "$FORGEJO_ACTOR@noreply.codeberg.org"
10-          git remote add origin "$FORGEJO_SERVER_URL/$FORGEJO_REPOSITORY"
11-          git switch -c pages
12-          git add .
13-          git commit -m "redeploy pages $FORGEJO_RUN_ID"
14-          echo $FORGEJO_TOKEN | git push --set-upstream origin pages
15+        uses: https://codeberg.org/git-pages/action@v2
16+        with:
17+          site: 'https://${{ forge.repository_owner }}.codeberg.page'
18+          token: ${{ forge.token }}
19+          source: output/