Skip to content

Board search, collapsed filters, paged contributions, task details — and tasks as trees - #107

Merged
Barneyjm merged 2 commits into
mainfrom
claude/board-search-and-paging
Aug 1, 2026
Merged

Board search, collapsed filters, paged contributions, task details — and tasks as trees#107
Barneyjm merged 2 commits into
mainfrom
claude/board-search-and-paging

Tasks as trees: how a conjecture actually decomposed, and who split it

1ac035e
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar