From 7de5dd2bd2b80be63c4a6900e316ec36b5c76125 Mon Sep 17 00:00:00 2001 From: zimoch Date: Fri, 26 Jun 2026 11:38:37 +0200 Subject: [PATCH] Make push fork-save Push to "this repo" instead of hard-coded Controls repo. This allows to fork and develop locally. --- .gitea/workflows/deploy-pages.yml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/.gitea/workflows/deploy-pages.yml b/.gitea/workflows/deploy-pages.yml index b764f26c..dfb429b7 100644 --- a/.gitea/workflows/deploy-pages.yml +++ b/.gitea/workflows/deploy-pages.yml @@ -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