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 7de5dd2bd2
1 changed files with 2 additions and 1 deletions
@@ -30,5 +30,6 @@ 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
+          REPO_URL=$(echo "${{ github.server_url }}/${{ github.repository }}.git" | sed 's|https://||')
+          git push -f https://${{ secrets.GITHUB_TOKEN }}@$REPO_URL gitea-pages