From 2e928de156a4f53eea8db7a892b0e4954cf8427d Mon Sep 17 00:00:00 2001
From: Deeman <hendriknote@gmail.com>
Date: Fri, 27 Feb 2026 18:05:54 +0100
Subject: [PATCH] chore: migrate from GitLab to self-hosted Gitea

Update bootstrap_supervisor.sh and setup_server.sh to use
git.padelnomics.io:2222 instead of gitlab.com.

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
---
 infra/bootstrap_supervisor.sh | 4 ++--
 infra/setup_server.sh         | 5 +++--
 2 files changed, 5 insertions(+), 4 deletions(-)

diff --git a/infra/bootstrap_supervisor.sh b/infra/bootstrap_supervisor.sh
index c41493e..cfa16b7 100755
--- a/infra/bootstrap_supervisor.sh
+++ b/infra/bootstrap_supervisor.sh
@@ -15,7 +15,7 @@ set -euo pipefail
 
 SERVICE_USER="beanflows_service"
 REPO_DIR="/opt/materia"
-GITLAB_PROJECT="deemanone/materia"
+GITEA_REPO="ssh://git@git.padelnomics.io:2222/deemanone/materia.git"
 UV="/home/${SERVICE_USER}/.local/bin/uv"
 
 [ "$(id -u)" = "0" ] || { echo "ERROR: Run as root"; exit 1; }
@@ -35,7 +35,7 @@ if [ -d "${REPO_DIR}/.git" ]; then
     sudo -u "${SERVICE_USER}" git -C "${REPO_DIR}" fetch --tags --prune-tags origin
 else
     sudo -u "${SERVICE_USER}" git clone \
-        "git@gitlab.com:${GITLAB_PROJECT}.git" "${REPO_DIR}"
+        "${GITEA_REPO}" "${REPO_DIR}"
 fi
 
 LATEST_TAG=$(sudo -u "${SERVICE_USER}" \
diff --git a/infra/setup_server.sh b/infra/setup_server.sh
index 288733c..35d210c 100644
--- a/infra/setup_server.sh
+++ b/infra/setup_server.sh
@@ -68,7 +68,8 @@ fi
 
 if [ ! -f "${SSH_DIR}/config" ]; then
     cat > "${SSH_DIR}/config" <<EOF
-Host gitlab.com
+Host git.padelnomics.io
+    Port 2222
     IdentityFile ${DEPLOY_KEY}
     IdentitiesOnly yes
 EOF
@@ -76,7 +77,7 @@ EOF
     chmod 600 "${SSH_DIR}/config"
 fi
 
-ssh-keyscan -H gitlab.com >> "${SSH_DIR}/known_hosts" 2>/dev/null
+ssh-keyscan -H -p 2222 git.padelnomics.io >> "${SSH_DIR}/known_hosts" 2>/dev/null
 sort -u "${SSH_DIR}/known_hosts" -o "${SSH_DIR}/known_hosts"
 chown "${SERVICE_USER}:${SERVICE_USER}" "${SSH_DIR}/known_hosts"
 chmod 644 "${SSH_DIR}/known_hosts"