Skip to content

Conversation

@pquentin
Copy link
Member

No description provided.

@pquentin pquentin requested a review from a team as a code owner February 20, 2025 10:05
@pquentin pquentin added the skip-backport This pull request should not be backported label Feb 20, 2025
@pquentin pquentin merged commit 09c9bbe into main Feb 20, 2025
9 of 10 checks passed
@pquentin pquentin deleted the rest-api-spec-updates branch February 20, 2025 10:08
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

skip-backport This pull request should not be backported

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants