[feat]: improve file search tools to add globsearch / grep tools - #3368
Merged
GitHub Advanced Security / Semgrep OSS
succeeded
Jul 11, 2025 in 8s
No new alerts in code changed by this pull request
Loading