Skip to content

Remove reserved namespaces dedup#24609

Merged
pakrym-oai merged 1 commit into
mainfrom
pakrym/remove-reserved-namespaces-dedup
May 26, 2026
Merged

Remove reserved namespaces dedup#24609
pakrym-oai merged 1 commit into
mainfrom
pakrym/remove-reserved-namespaces-dedup

Conversation

@pakrym-oai

Copy link
Copy Markdown
Collaborator

Avoid suffixing reserved namespaces.

@pakrym-oai pakrym-oai merged commit 6937e83 into main May 26, 2026
31 checks passed
@pakrym-oai pakrym-oai deleted the pakrym/remove-reserved-namespaces-dedup branch May 26, 2026 16:57
@github-actions github-actions Bot locked and limited conversation to collaborators May 26, 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