Point the stage checkout at Gitea and keep its host ports off prod Reverb.

Cloning from the prod directory made SHA fetches fail, and APP_HOST_PORT 18180 collided with production Reverb.
2026-08-13 18:40:06 +02:00
parent 3601ce8b6f
commit 1898be4def
4 changed files with 42 additions and 11 deletions
@@ -44,7 +44,10 @@ for dir in "${DIRS[@]}"; do

        if git rev-parse --is-inside-work-tree >/dev/null 2>&1; then
            if [[ -n "${DEPLOY_SHA}" ]]; then
-                git fetch --force origin "${DEPLOY_SHA}"
+                git fetch --force origin '+refs/heads/*:refs/remotes/origin/*'
+                if ! git cat-file -e "${DEPLOY_SHA}^{commit}" 2>/dev/null; then
+                    git fetch --force origin "${DEPLOY_SHA}"
+                fi
                git checkout --force --detach "${DEPLOY_SHA}"
                git reset --hard "${DEPLOY_SHA}"
                # Drop local edits/hot-patches; keep runtime data and secrets.