fix: Add apply_patch to EDIT_TOOLS filter (#18009)

This commit is contained in:
Ariane Emory
2026-03-17 21:11:42 -04:00
committed by GitHub
parent bc949af623
commit 4b4dd2b882
2 changed files with 4 additions and 4 deletions

View File

@@ -69,7 +69,7 @@ export namespace PermissionNext {
return S.evaluate(permission, pattern, ...rulesets)
}
const EDIT_TOOLS = ["edit", "write", "patch", "multiedit"]
const EDIT_TOOLS = ["edit", "write", "apply_patch", "multiedit"]
export function disabled(tools: string[], ruleset: Ruleset): Set<string> {
const result = new Set<string>()