summaryrefslogtreecommitdiff
path: root/.github
diff options
context:
space:
mode:
authorWolfgang Walther <walther@technowledgy.de>2025-02-01 17:07:17 +0100
committerWolfgang Walther <walther@technowledgy.de>2025-02-01 17:20:32 +0100
commit9c33953ba2f07ed37ed635e8ebedb5c045a053a0 (patch)
treecff3907cb6e70ad012784a2dd049f6a599b5f4f1 /.github
parentpython313Packages.faraday-plugins: 1.21.0 -> 1.22.1 (#378496) (diff)
downloadnixpkgs-9c33953ba2f07ed37ed635e8ebedb5c045a053a0.tar.gz
.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...
Diffstat (limited to '.github')
-rw-r--r--.github/labeler-no-sync.yml5
1 files changed, 2 insertions, 3 deletions
diff --git a/.github/labeler-no-sync.yml b/.github/labeler-no-sync.yml
index 95423cbf2d40..a64a5d3cf730 100644
--- a/.github/labeler-no-sync.yml
+++ b/.github/labeler-no-sync.yml
@@ -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: