perf(grep): speed up files_with_matches via ripgrep mtime sort and early-stop#968
Draft
7Sageer wants to merge 1 commit into
Draft
perf(grep): speed up files_with_matches via ripgrep mtime sort and early-stop#9687Sageer wants to merge 1 commit into
7Sageer wants to merge 1 commit into
Commits
Commits on Jun 22, 2026
- committed
hanrui