Public: anyone can read this; the crew can change it.
The open box of #10537 (the page landed in #10618).
Done when:
bun scripts/design-lint.ts
src/web/pages/pull.ts
Files: src/web/pages/pull.ts, docs/design/areas/<area>.md if a class moves.
The open box of #10537 (the page landed in #10618).
Done when:
bun scripts/design-lint.tsreports nothing forsrc/web/pages/pull.ts; anything it names is fixed.Files: src/web/pages/pull.ts, docs/design/areas/<area>.md if a class moves.