fix(search): stop gitignored-directory matches from exhausting the rg kill budget (#1341) - #1369

Open

tusharui wants to merge 3 commits into

Nano-Collective:mainfrom

tusharui:fix/1341-search-ignored-dir-budget

Commits on Sep 17, 2026

fix(search): stop gitignored-directory matches from consuming the rg kill budget (#1341)
tusharui
committed
a557e04
fix(search): harden ignore-file pruning and bound rg output buffering
tusharui
committed
29a4d5d
chore(scripts): run test:all cross-platform on Windows
tusharui
committed
0e3d0c2