Skip to content

Conversation

@pquentin
Copy link
Member

@pquentin pquentin commented Nov 7, 2025

Backport

This will backport the following commits from main to 9.1:

Questions ?

Please refer to the Backport tool documentation

* hardcoded rule

* a bit less hardcoded (still)

* test

(cherry picked from commit 26fdeef)
@pquentin pquentin enabled auto-merge (squash) November 7, 2025 07:31
@pquentin pquentin disabled auto-merge November 7, 2025 07:32
@pquentin pquentin merged commit 5b63697 into 9.1 Nov 7, 2025
8 checks passed
@pquentin pquentin deleted the backport/9.1/pr-4567 branch November 7, 2025 07:32
@github-actions
Copy link
Contributor

github-actions bot commented Nov 7, 2025

Following you can find the validation changes against the target branch for the APIs.

No changes detected.

You can validate these APIs yourself by using the make validate target.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants