Skip to content

Add a getUserAgent MCP method - #3320

Merged
gpeal merged 1 commit into
mainfrom
gpeal/user-agent
Sep 8, 2025
Merged

Add a getUserAgent MCP method#3320
gpeal merged 1 commit into
mainfrom
gpeal/user-agent

Conversation

@gpeal

@gpeal gpeal commented Sep 8, 2025

Copy link
Copy Markdown
Contributor

This will allow the extension to pass this user agent + a suffix for its requests

Comment thread codex-rs/mcp-server/src/codex_message_processor.rs
@gpeal
gpeal merged commit 5c1416d into main Sep 8, 2025
18 checks passed
@gpeal
gpeal deleted the gpeal/user-agent branch September 8, 2025 17:30
@github-actions github-actions Bot locked and limited conversation to collaborators Sep 8, 2025
Comment thread codex-rs/mcp-server/src/codex_message_processor.rs
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.

3 participants