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) <noreply@anthropic.com>
2026-08-13 02:55:42 +00:00
parent ea87ffed04
commit 9b56e04b5e
1 changed files with 1 additions and 1 deletions
@@ -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"; }