Skip to content

Revamp Prompt Manager UI and add support to suppress (hide) global prompts#20

Merged
Idddd merged 11 commits into
mainfrom
codex/create-branch-for-ui-enhancements
May 15, 2026
Merged

Revamp Prompt Manager UI and add support to suppress (hide) global prompts#20
Idddd merged 11 commits into
mainfrom
codex/create-branch-for-ui-enhancements

Commits

Commits on May 12, 2026

Commits on May 13, 2026

Commits on May 15, 2026