diff --git a/packages/api/openapi/agents.openapi.json b/packages/api/openapi/agents.openapi.json index 3b1b3efe0dc..b44cfdd7fe4 100644 --- a/packages/api/openapi/agents.openapi.json +++ b/packages/api/openapi/agents.openapi.json @@ -2010,6 +2010,14 @@ } ] }, + "repositoryInstructions": { + "type": "string", + "enum": [ + "prefer", + "defer", + "off" + ] + }, "git_identity": { "type": "object", "properties": { @@ -2439,6 +2447,14 @@ } ] }, + "repositoryInstructions": { + "type": "string", + "enum": [ + "prefer", + "defer", + "off" + ] + }, "git_identity": { "type": [ "object", @@ -2895,6 +2911,14 @@ } ] }, + "repositoryInstructions": { + "type": "string", + "enum": [ + "prefer", + "defer", + "off" + ] + }, "git_identity": { "type": [ "object",