Repository navigation
Add an in-pane search to filter agents in the projects pane - #265
Closed
patrickdappollonio wants to merge 1 commit into
Closed
patrickdappollonio wants to merge 1 commit into
patrickdappollonio wants to merge 1 commit into
Commits
Commits on Jun 21, 2026