chore: kill unused tool (#23701)

2026-04-21 11:31:20 -04:00
parent a621494456
commit 0654240c9e
47 changed files with 60 additions and 196 deletions
@@ -307,7 +307,7 @@ export function merge(...rulesets: Ruleset[]): Ruleset {
  return rulesets.flat()
 }

-const EDIT_TOOLS = ["edit", "write", "apply_patch", "multiedit"]
+const EDIT_TOOLS = ["edit", "write", "apply_patch"]

 export function disabled(tools: string[], ruleset: Ruleset): Set<string> {
  const result = new Set<string>()