Make push fork-save

Push to "this repo" instead of hard-coded Controls repo. This allows to fork and develop locally.
2026-06-26 11:38:37 +02:00
parent 8746a93dd6
commit b31a4947e6
1 changed files with 1 additions and 1 deletions
@@ -30,5 +30,5 @@ jobs:
          mv site/* .
          git add .
          git commit -m "Update site - $(date)"
-          git push -f https://${{secrets.GITHUB_TOKEN}}@gitea.psi.ch/Controls/gitea-pages.git gitea-pages
+          git push -f https://${{ secrets.GITHUB_TOKEN }}@${{ github.server_url#https:// }}/${{gitea.repository}}.git gitea-pages