Skip to content

expand _meta name reservation#775

Merged
bhosmer-ant merged 1 commit into
mainfrom
basil/expand_meta_name_reservation
Jun 18, 2025
Merged

expand _meta name reservation#775
bhosmer-ant merged 1 commit into
mainfrom
basil/expand_meta_name_reservation

Conversation

@bhosmer-ant

Copy link
Copy Markdown
Contributor

Expands the set of reserved _meta key names to include leading labels, e.g. api.mcp.ai

@ihrpr ihrpr left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

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

LGTM

@bhosmer-ant bhosmer-ant merged commit 92ec656 into main Jun 18, 2025
7 checks passed
@bhosmer-ant bhosmer-ant deleted the basil/expand_meta_name_reservation branch June 18, 2025 08:31
@github-project-automation github-project-automation Bot moved this from Draft to Approved in Standards Track Jun 18, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

No open projects
Status: Approved

Development

Successfully merging this pull request may close these issues.

2 participants