chore: kill unused tool (#23701)

This commit is contained in:
Aiden Cline 2026-04-21 11:31:20 -04:00 committed by GitHub
commit 2486621ca1
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
47 changed files with 60 additions and 196 deletions

View file

@ -660,7 +660,7 @@ export const layer = Layer.effect(
const perms: Record<string, ConfigPermission.Action> = {}
for (const [tool, enabled] of Object.entries(result.tools)) {
const action: ConfigPermission.Action = enabled ? "allow" : "deny"
if (tool === "write" || tool === "edit" || tool === "patch" || tool === "multiedit") {
if (tool === "write" || tool === "edit" || tool === "patch") {
perms.edit = action
continue
}