.github/labeler-no-sync: fix backport labels

Matching on !ci/OWNERS was a mistake, because it's matching *every* PR
with a change to a non-OWNERS file.

This is not fixable with negation rules in the labeler, but we can take
advantage of the fact that OWNERS doesn't have a "." in its name.

Also, we used the wrong label...
This commit is contained in:
Wolfgang Walther 2025-02-01 17:07:17 +01:00
parent 3a931f3d80
commit 9c33953ba2
No known key found for this signature in database
GPG Key ID: B39893FA5F65CAE1

View File

@ -1,13 +1,12 @@
# This file is used by .github/workflows/labels.yml
# This version uses `sync-labels: false`, meaning that a non-match will NOT remove the label
"backport: release-24.11":
"backport release-24.11":
- any:
- changed-files:
- any-glob-to-any-file:
- .github/workflows/*
- ci/**/*
- "!ci/OWNERS"
- ci/**/*.*
"6.topic: policy discussion":
- any: