Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
91 changes: 91 additions & 0 deletions code-rs/app-server-protocol/schema/json/EventMsg.json
Original file line number Diff line number Diff line change
Expand Up @@ -147,6 +147,75 @@
],
"type": "string"
},
"AutomationOrigin": {
"properties": {
"actor": {
"description": "Actor reported by the source system as applying the trigger.",
"type": [
"string",
"null"
]
},
"event_id": {
"description": "GitHub event delivery id, webhook id, or local request id.",
"type": [
"string",
"null"
]
},
"issue_number": {
"description": "GitHub issue or pull request number associated with the trigger.",
"format": "uint64",
"minimum": 0.0,
"type": [
"integer",
"null"
]
},
"kind": {
"$ref": "#/definitions/AutomationTriggerKind"
},
"label": {
"description": "Label that triggered automation, such as `every-code`.",
"type": [
"string",
"null"
]
},
"repository": {
"description": "Repository name in `owner/repo` form, when the trigger came from GitHub.",
"type": [
"string",
"null"
]
},
"source": {
"description": "Tool, worker, or integration that launched this automated session.",
"type": [
"string",
"null"
]
},
"url": {
"description": "Direct URL to the triggering issue, PR, event, or worker record.",
"type": [
"string",
"null"
]
}
},
"required": [
"kind"
],
"type": "object"
},
"AutomationTriggerKind": {
"enum": [
"github_label",
"other"
],
"type": "string"
},
"ByteRange": {
"properties": {
"end": {
Expand Down Expand Up @@ -893,6 +962,17 @@
],
"description": "When to escalate for approval for execution"
},
"automation_origin": {
"anyOf": [
{
"$ref": "#/definitions/AutomationOrigin"
},
{
"type": "null"
}
],
"description": "Structured metadata for automated sessions, if the launcher provided it."
},
"cwd": {
"description": "Working directory that should be treated as the *root* of the session.",
"type": "string"
Expand Down Expand Up @@ -6149,6 +6229,17 @@
],
"description": "When to escalate for approval for execution"
},
"automation_origin": {
"anyOf": [
{
"$ref": "#/definitions/AutomationOrigin"
},
{
"type": "null"
}
],
"description": "Structured metadata for automated sessions, if the launcher provided it."
},
"cwd": {
"description": "Working directory that should be treated as the *root* of the session.",
"type": "string"
Expand Down
80 changes: 80 additions & 0 deletions code-rs/app-server-protocol/schema/json/ServerNotification.json
Original file line number Diff line number Diff line change
Expand Up @@ -331,6 +331,75 @@
],
"type": "string"
},
"AutomationOrigin": {
"properties": {
"actor": {
"description": "Actor reported by the source system as applying the trigger.",
"type": [
"string",
"null"
]
},
"event_id": {
"description": "GitHub event delivery id, webhook id, or local request id.",
"type": [
"string",
"null"
]
},
"issue_number": {
"description": "GitHub issue or pull request number associated with the trigger.",
"format": "uint64",
"minimum": 0.0,
"type": [
"integer",
"null"
]
},
"kind": {
"$ref": "#/definitions/AutomationTriggerKind"
},
"label": {
"description": "Label that triggered automation, such as `every-code`.",
"type": [
"string",
"null"
]
},
"repository": {
"description": "Repository name in `owner/repo` form, when the trigger came from GitHub.",
"type": [
"string",
"null"
]
},
"source": {
"description": "Tool, worker, or integration that launched this automated session.",
"type": [
"string",
"null"
]
},
"url": {
"description": "Direct URL to the triggering issue, PR, event, or worker record.",
"type": [
"string",
"null"
]
}
},
"required": [
"kind"
],
"type": "object"
},
"AutomationTriggerKind": {
"enum": [
"github_label",
"other"
],
"type": "string"
},
"ByteRange": {
"properties": {
"end": {
Expand Down Expand Up @@ -1563,6 +1632,17 @@
],
"description": "When to escalate for approval for execution"
},
"automation_origin": {
"anyOf": [
{
"$ref": "#/definitions/AutomationOrigin"
},
{
"type": "null"
}
],
"description": "Structured metadata for automated sessions, if the launcher provided it."
},
"cwd": {
"description": "Working directory that should be treated as the *root* of the session.",
"type": "string"
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -386,6 +386,75 @@
],
"type": "string"
},
"AutomationOrigin": {
"properties": {
"actor": {
"description": "Actor reported by the source system as applying the trigger.",
"type": [
"string",
"null"
]
},
"event_id": {
"description": "GitHub event delivery id, webhook id, or local request id.",
"type": [
"string",
"null"
]
},
"issue_number": {
"description": "GitHub issue or pull request number associated with the trigger.",
"format": "uint64",
"minimum": 0.0,
"type": [
"integer",
"null"
]
},
"kind": {
"$ref": "#/definitions/AutomationTriggerKind"
},
"label": {
"description": "Label that triggered automation, such as `every-code`.",
"type": [
"string",
"null"
]
},
"repository": {
"description": "Repository name in `owner/repo` form, when the trigger came from GitHub.",
"type": [
"string",
"null"
]
},
"source": {
"description": "Tool, worker, or integration that launched this automated session.",
"type": [
"string",
"null"
]
},
"url": {
"description": "Direct URL to the triggering issue, PR, event, or worker record.",
"type": [
"string",
"null"
]
}
},
"required": [
"kind"
],
"type": "object"
},
"AutomationTriggerKind": {
"enum": [
"github_label",
"other"
],
"type": "string"
},
"ByteRange": {
"properties": {
"end": {
Expand Down Expand Up @@ -3069,6 +3138,17 @@
],
"description": "When to escalate for approval for execution"
},
"automation_origin": {
"anyOf": [
{
"$ref": "#/definitions/AutomationOrigin"
},
{
"type": "null"
}
],
"description": "Structured metadata for automated sessions, if the launcher provided it."
},
"cwd": {
"description": "Working directory that should be treated as the *root* of the session.",
"type": "string"
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -147,6 +147,75 @@
],
"type": "string"
},
"AutomationOrigin": {
"properties": {
"actor": {
"description": "Actor reported by the source system as applying the trigger.",
"type": [
"string",
"null"
]
},
"event_id": {
"description": "GitHub event delivery id, webhook id, or local request id.",
"type": [
"string",
"null"
]
},
"issue_number": {
"description": "GitHub issue or pull request number associated with the trigger.",
"format": "uint64",
"minimum": 0.0,
"type": [
"integer",
"null"
]
},
"kind": {
"$ref": "#/definitions/AutomationTriggerKind"
},
"label": {
"description": "Label that triggered automation, such as `every-code`.",
"type": [
"string",
"null"
]
},
"repository": {
"description": "Repository name in `owner/repo` form, when the trigger came from GitHub.",
"type": [
"string",
"null"
]
},
"source": {
"description": "Tool, worker, or integration that launched this automated session.",
"type": [
"string",
"null"
]
},
"url": {
"description": "Direct URL to the triggering issue, PR, event, or worker record.",
"type": [
"string",
"null"
]
}
},
"required": [
"kind"
],
"type": "object"
},
"AutomationTriggerKind": {
"enum": [
"github_label",
"other"
],
"type": "string"
},
"ByteRange": {
"properties": {
"end": {
Expand Down Expand Up @@ -893,6 +962,17 @@
],
"description": "When to escalate for approval for execution"
},
"automation_origin": {
"anyOf": [
{
"$ref": "#/definitions/AutomationOrigin"
},
{
"type": "null"
}
],
"description": "Structured metadata for automated sessions, if the launcher provided it."
},
"cwd": {
"description": "Working directory that should be treated as the *root* of the session.",
"type": "string"
Expand Down
Loading