Skip to content

Rename the MCP connection manager to McpConnectionSet - #34708

Merged
copyberry[bot] merged 1 commit into
mainfrom
copyberry/codex-internal-to-codex-oss/9753838b4fd0a0b6429a9c4af0c077137616f388
Jul 22, 2026
Merged

Rename the MCP connection manager to McpConnectionSet#34708
copyberry[bot] merged 1 commit into
mainfrom
copyberry/codex-internal-to-codex-oss/9753838b4fd0a0b6429a9c4af0c077137616f388

Conversation

@copyberry

@copyberry copyberry Bot commented Jul 22, 2026

Copy link
Copy Markdown

Rename the MCP connection manager to McpConnectionSet

What changed

  • Use McpConnectionSet as the primary name for the collection of active MCP
    server connections throughout codex-mcp and its callers.
  • Keep McpConnectionManager as a backward-compatible type alias.

## What changed

- Use `McpConnectionSet` as the primary name for the collection of active MCP
  server connections throughout `codex-mcp` and its callers.
- Keep `McpConnectionManager` as a backward-compatible type alias.

GitOrigin-RevId: 9753838b4fd0a0b6429a9c4af0c077137616f388
@copyberry
copyberry Bot force-pushed the copyberry/codex-internal-to-codex-oss/9753838b4fd0a0b6429a9c4af0c077137616f388 branch from 1106b83 to 516f1e2 Compare July 22, 2026 09:26
@copyberry
copyberry Bot merged commit 516f1e2 into main Jul 22, 2026
31 of 32 checks passed
@copyberry
copyberry Bot deleted the copyberry/codex-internal-to-codex-oss/9753838b4fd0a0b6429a9c4af0c077137616f388 branch July 22, 2026 09:27
@github-actions github-actions Bot locked and limited conversation to collaborators Jul 22, 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