Skip to content

support plugins in external agent config migration#17855

Merged
alexsong-oai merged 4 commits intomainfrom
alexs/migration
Apr 15, 2026
Merged

support plugins in external agent config migration#17855
alexsong-oai merged 4 commits intomainfrom
alexs/migration

Conversation

@alexsong-oai
Copy link
Copy Markdown
Collaborator

No description provided.

Comment thread codex-rs/core/src/external_agent_config.rs Outdated
Comment thread codex-rs/app-server-protocol/src/protocol/v2.rs Outdated
@alexsong-oai alexsong-oai marked this pull request as ready for review April 15, 2026 01:16
@alexsong-oai alexsong-oai changed the title support external plugins migration support plugins in external agent migration Apr 15, 2026
@alexsong-oai alexsong-oai changed the title support plugins in external agent migration support plugins in external agent config migration Apr 15, 2026
pub marketplace_name: String,
#[serde(rename = "pluginIds")]
#[ts(rename = "pluginIds")]
pub plugin_ids: Vec<String>,
Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Could just be plugin_names.

@alexsong-oai alexsong-oai merged commit ca65056 into main Apr 15, 2026
28 of 36 checks passed
@alexsong-oai alexsong-oai deleted the alexs/migration branch April 15, 2026 02:39
@github-actions github-actions bot locked and limited conversation to collaborators Apr 15, 2026
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants