various fixes

2026-08-28 09:42:19 -04:00
parent 5d679f5184
commit 03bead092c
19 changed files with 983 additions and 1443 deletions
@@ -46,9 +46,8 @@
 *     adds, and removals.
 *
 * Scope boundary (phase locked decisions): adding or removing a repo
- * does NOT clone, import, or prune — the header's Sync sources button
- * (module-owned in assets/header.js) performs that; the page's hint
- * box says so.
+ * does NOT clone, import, or prune — the sync service (server-side)
+ * performs that; the page's hint box says so.
 *
 * The shared header module loads through this script's own relative
 * import ("./header.js") — a hoisted import evaluated before this body