chore: remove unused patch tool from registry (to avoid accidental inclusions of it) (#3938)

This commit is contained in:
Filip
2025-11-05 18:26:28 +01:00
committed by GitHub
parent af7b9e77d1
commit 53998a2fed

View File

@@ -3,7 +3,6 @@ import { EditTool } from "./edit"
import { GlobTool } from "./glob" import { GlobTool } from "./glob"
import { GrepTool } from "./grep" import { GrepTool } from "./grep"
import { ListTool } from "./ls" import { ListTool } from "./ls"
import { PatchTool } from "./patch"
import { ReadTool } from "./read" import { ReadTool } from "./read"
import { TaskTool } from "./task" import { TaskTool } from "./task"
import { TodoWriteTool, TodoReadTool } from "./todo" import { TodoWriteTool, TodoReadTool } from "./todo"
@@ -82,7 +81,6 @@ export namespace ToolRegistry {
GlobTool, GlobTool,
GrepTool, GrepTool,
ListTool, ListTool,
PatchTool,
ReadTool, ReadTool,
WriteTool, WriteTool,
TodoWriteTool, TodoWriteTool,
@@ -113,11 +111,9 @@ export namespace ToolRegistry {
agent: Agent.Info, agent: Agent.Info,
): Promise<Record<string, boolean>> { ): Promise<Record<string, boolean>> {
const result: Record<string, boolean> = {} const result: Record<string, boolean> = {}
result["patch"] = false
if (agent.permission.edit === "deny") { if (agent.permission.edit === "deny") {
result["edit"] = false result["edit"] = false
result["patch"] = false
result["write"] = false result["write"] = false
} }
if (agent.permission.bash["*"] === "deny" && Object.keys(agent.permission.bash).length === 1) { if (agent.permission.bash["*"] === "deny" && Object.keys(agent.permission.bash).length === 1) {