Skip to content

Conversation

@github-actions
Copy link
Contributor

As titled.

@github-actions github-actions bot added the skip-backport This pull request should not be backported label Jul 18, 2025
@github-actions github-actions bot requested a review from a team as a code owner July 18, 2025 17:43
@github-actions github-actions bot added specification skip-backport This pull request should not be backported labels Jul 18, 2025
@pquentin pquentin merged commit 1ee3ff2 into 9.1 Jul 21, 2025
1 check passed
@pquentin pquentin deleted the automated/rest-api-spec-update-9.1 branch July 21, 2025 06:14
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 specification

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants