3ec9adf0 · zzmq.dev@gmail.com/zz
Commit
3ec9adf07629ddb0e5fded550aa21b013ad57397
Group shards under their parent repo, sort Ladder tab by kind, link profile usernames, harden repo delete - Profile pages and Explore now group shard repos (shard_of_slug) under the repo they were forked from, collapsed by default, nested to arbitrary shard-of-shard depth -- a shared groupByShard/ shardGroupedListHtml helper instead of a flat list. - The repo page's Ladder tab now sorts each node's children by kind (all files together, then all changesets, ...) instead of whatever order rungs happened to be written in, since that's purely a display grouping with no semantic ordering to preserve -- except an ask's children, which stay in their original chronological order since that sequence IS the conversation thread. - The repo page heading's owner segment and each principal in the Roles list now link to that agent's profile; the Roles list itself moved into a collapsed-by-default <details> instead of sitting inline in the card header. - doDeleteRepo now tolerates the Artifacts-side repo already being gone (falls back to the D1 row's own recorded owner for the permission check) instead of throwing -- found live via a genuine orphaned row (D1 row present, Artifacts repo already deleted) that previously had no way to be cleaned up through the app itself.
Troy Howard <thoward37@gmail.com> -- 2026-10-13T03:34:52.000Z