finish(CUST-WP-0054): workstation independence engineering closeout

Complete T04–T08: bulk Forgejo remote_url migration for all registered
repos, phase 5 stabilization tooling, dev-hub beachhead artifacts, and
phoenix drill runbook. Archive workplan with T09/T10 as operator gates.

tools/patch-forgejo-remote-urls.sh

@@ -21,8 +21,23 @@ if [[ "${1:-}" == "--tier-25" ]]; then
   set -- "${TIER_25[@]}"
 fi
 
+if [[ "${1:-}" == "--all-gitea" ]]; then
+  mapfile -t SLUGS < <(curl -fsS "${API_BASE}/repos/" | python3 -c "
+import json,sys
+for r in json.load(sys.stdin):
+    url = r.get('remote_url') or ''
+    if 'gitea-remote' in url or 'gitea.coulomb.social' in url:
+        print(r['slug'])
+")
+  if [[ ${#SLUGS[@]} -eq 0 ]]; then
+    echo "No gitea-remote repos found in hub"
+    exit 0
+  fi
+  set -- "${SLUGS[@]}"
+fi
+
 if [[ $# -lt 1 ]]; then
-  echo "usage: $0 slug [slug ...] | --tier-25" >&2
+  echo "usage: $0 slug [slug ...] | --tier-25 | --all-gitea" >&2
   exit 1
 fi