Skip to content

fix(crawl): --grep no longer scans gitignored files the indexer skips — the leak was in the crawl, not the verb - #87

Merged
joyful-ii-V-I merged 3 commits into
mainfrom
claude/beautiful-tu-163424
Sep 9, 2026
Merged

fix(crawl): --grep no longer scans gitignored files the indexer skips — the leak was in the crawl, not the verb#87
joyful-ii-V-I merged 3 commits into
mainfrom
claude/beautiful-tu-163424

chore(gates): re-derive the gate count after rebasing onto 595c8196 —…

4e4e070
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar