chore: remove codesearch tool (#27019)

This commit is contained in:
Shoubhit Dash
2026-05-12 13:44:02 +05:30
committed by GitHub
parent 31fcbf8845
commit 9216acf052
11 changed files with 4 additions and 107 deletions
-1
View File
@@ -955,7 +955,6 @@ export type PermissionConfig =
question?: PermissionActionConfig
webfetch?: PermissionActionConfig
websearch?: PermissionActionConfig
codesearch?: PermissionActionConfig
repo_clone?: PermissionRuleConfig
repo_overview?: PermissionRuleConfig
lsp?: PermissionRuleConfig