Repository navigation

fix(bash): block repo-wide shell search in favour of code_search - #38

Merged

wongk merged 2 commits into

mainfrom

fix/block-shell-repo-search

Oct 5, 2026

Merged

fix(bash): block repo-wide shell search in favour of code_search#38
wongk merged 2 commits into
mainfrom
fix/block-shell-repo-search

Commits on Oct 5, 2026
- fix(bash): block repo-wide grep/rg/git grep in favour of code_search, with an opt-in for exhaustive search
  
  wongk
  and
  lemoncrow-agent[bot]
  committed
  3211b55
- Merge remote-tracking branch 'origin/main' into fix/block-shell-repo-search
  wongk
  committed
  3002f50