Skip to content

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

Closed
tusharui wants to merge 17 commits into
Nano-Collective:mainfrom
tusharui:fix/1341-search-ignored-dir-budget
Closed

tusharui wants to merge 17 commits into
Nano-Collective:mainfrom
tusharui:fix/1341-search-ignored-dir-budget

Commits

  1. Commits on Sep 17, 2026

  2. Commits on Sep 19, 2026

  3. Commits on Sep 20, 2026

  4. Commits on Sep 22, 2026

  5. Commits on Oct 9, 2026