Skip to content

Preserve remote plugin default prompts#25887

Merged
ericning-o merged 1 commit into
mainfrom
codex/preserve-remote-default-prompts
Jun 3, 2026
Merged

Preserve remote plugin default prompts#25887
ericning-o merged 1 commit into
mainfrom
codex/preserve-remote-default-prompts

Conversation

@ericning-o

Copy link
Copy Markdown
Contributor

Summary

  • Read default_prompts from remote plugin release metadata.
  • Prefer the plural prompt list over legacy default_prompt.
  • Fall back to default_prompt as a single-item list for backward compatibility.

Testing

  • just test -p codex-core-plugins
  • just test -p codex-app-server

@ericning-o ericning-o marked this pull request as ready for review June 3, 2026 16:08
@ericning-o ericning-o enabled auto-merge (squash) June 3, 2026 16:14
@ericning-o ericning-o merged commit aeac226 into main Jun 3, 2026
31 checks passed
@ericning-o ericning-o deleted the codex/preserve-remote-default-prompts branch June 3, 2026 19:39
@github-actions github-actions Bot locked and limited conversation to collaborators Jun 3, 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