Skip to content

Conversation

@patchback
Copy link

@patchback patchback bot commented Nov 21, 2025

This is a backport of PR #13980 as merged into main (9f992b8).

This was ignored until #13830. With that change, it now gets correctly surfaced to the user as a warning (or error with --strict-config), so we should have a test for it.

This was ignored until #13830. With that change, it now gets correctly surfaced
to the user as a warning (or error with --strict-config), so we should have a
test for it.

(cherry picked from commit 9f992b8)
@nicoddemus nicoddemus enabled auto-merge (squash) November 21, 2025 15:37
@nicoddemus nicoddemus merged commit 40dd92f into 9.0.x Nov 21, 2025
33 checks passed
@nicoddemus nicoddemus deleted the patchback/backports/9.0.x/9f992b8b61264ef5d010783e0d31b63d859f0071/pr-13980 branch November 21, 2025 16:08
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants