sync scripts: self-heal gitea remote if a fresh clone dropped it

Re-clones from GitHub leave repos with only origin; pull/push now re-add the
gitea mirror remote automatically so the mirror cannot silently drift.

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>

sync-push-all.sh

@@ -11,6 +11,10 @@ cd "$(dirname "$0")" || exit 1
 push_one() {
   local d="$1"
   local br; br=$(git -C "$d" symbolic-ref --short HEAD 2>/dev/null || echo main)
+  # self-heal: re-add the gitea mirror remote if a fresh clone dropped it
+  if [ "$d" != "." ] && ! git -C "$d" remote get-url gitea >/dev/null 2>&1; then
+    git -C "$d" remote add gitea "https://git.nexasystems.ca/admin/$d.git" 2>/dev/null || true
+  fi
   local flag=""
   [ -n "$(git -C "$d" status --porcelain --untracked-files=no)" ] && flag="  [HAS UNCOMMITTED CHANGES - not pushed]"
   local any=0