Skip to content

fix: remove double tag#9787

Merged
jennifer-richards merged 1 commit intoietf-tools:feat/rpc-apifrom
jennifer-richards:untag
Oct 24, 2025
Merged

fix: remove double tag#9787
jennifer-richards merged 1 commit intoietf-tools:feat/rpc-apifrom
jennifer-richards:untag

Conversation

@jennifer-richards
Copy link
Copy Markdown
Member

This was meant to include the API call in both purple and red API clients. It seems this does not work, at least with some generators. Need to investigate further, but we should be able to work around it.

This was meant to include the API call in both purple and red API clients.
It seems this does not work, at least with some generators.
Need to investigate further, but we should be able to work around it.
@jennifer-richards jennifer-richards merged commit c020f0f into ietf-tools:feat/rpc-api Oct 24, 2025
2 checks passed
@jennifer-richards jennifer-richards deleted the untag branch October 24, 2025 00:11
@github-actions github-actions Bot locked as resolved and limited conversation to collaborators Oct 27, 2025
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.

1 participant