Archive (#1838) puts a repository away: repo.archived_at is set, nothing is deleted, its pages and clone stay reachable, and withoutArchived / { withoutArchived: true } in src/core/repos.ts leave it out. The direction's (2) Cut the noise: archived things are hidden, not gone. This surface does not leave them out yet.
Done:
[ ] The thirty repositories src/web/layout.ts lists for the palette (apps first) are read with withoutArchived: true; an archived one is still found by typing its full name into search.
[ ] Waking the repository (un-archiving) brings it back with no other step.
[ ] A test archives one of two repositories and shows it gone here, then wakes it and shows it back; it fails without the change.
[ ] The archived repository's own page still answers 200 to someone who may read it.
Files: src/web/layout.ts, one test. Touch no page module.
Archive (#1838) puts a repository away:
repo.archived_atis set, nothing is deleted, its pages and clone stay reachable, andwithoutArchived/{ withoutArchived: true }insrc/core/repos.tsleave it out. The direction's (2) Cut the noise: archived things are hidden, not gone. This surface does not leave them out yet.Done:
src/web/layout.tslists for the palette (apps first) are read withwithoutArchived: true; an archived one is still found by typing its full name into search.Files:
src/web/layout.ts, one test. Touch no page module.