summaryrefslogtreecommitdiff
path: root/.github/labeler-no-sync.yml (follow)
Commit message (Expand)AuthorAgeFilesLines
* .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... Wolfgang Walther2025-02-011-3/+2
* .github/labeler-no-sync.yml: automatically add backport label for PRs touchin...Peder Bergebakken Sundt2025-01-201-0/+8
* workflows/labels: add a `sync-labels: false` step, migrate some rulesPeder Bergebakken Sundt2025-01-201-0/+21