4th try
Build and Deploy Documentation / build-and-deploy (push) Successful in 4s

This commit is contained in:
2026-06-26 11:53:33 +02:00
parent 705d74bd03
commit b0fffcfe78
+2 -1
View File
@@ -30,5 +30,6 @@ jobs:
mv site/* .
git add .
git commit -m "Update site - $(date)"
git push -f https://${{ secrets.GITHUB_TOKEN }}@${{ github.server_url }}/${{ github.repository }}.git gitea-pages
REPO_URL=$(echo "${{ github.server_url }}/${{ github.repository }}.git" | sed 's|https://||')
git push -f https://${{ secrets.GITHUB_TOKEN }}@$REPO_URL gitea-pages