From 9b56e04b5ea2b6670935c16ed772b2b72ad84e6c Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Andr=C3=A9=20Padez?= Date: Thu, 13 Aug 2026 02:55:42 +0000 Subject: [PATCH] point the clone at gitea.pastilhas.dev gitea.officer.dev is not serving yet. Overridable with OFFICER_REPO, as it always was, so a fork or a mirror needs no edit here. Co-Authored-By: Claude Opus 5 (1M context) --- scripts/setup/officer-setup/lib/repo.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/setup/officer-setup/lib/repo.sh b/scripts/setup/officer-setup/lib/repo.sh index c55592ff..171e3846 100644 --- a/scripts/setup/officer-setup/lib/repo.sh +++ b/scripts/setup/officer-setup/lib/repo.sh @@ -14,7 +14,7 @@ [[ -n "${OFFICER_SETUP_REPO_LOADED:-}" ]] && return 0 OFFICER_SETUP_REPO_LOADED=1 -OFFICER_REPO="${OFFICER_REPO:-https://gitea.officer.dev/officerdev/platform.git}" +OFFICER_REPO="${OFFICER_REPO:-https://gitea.pastilhas.dev/officerdev/platform.git}" platform_dir() { echo "${OFFICER_ROOT}/platform"; }