diff options
| author | Wolfgang Walther <walther@technowledgy.de> | 2025-02-01 17:07:17 +0100 |
|---|---|---|
| committer | Wolfgang Walther <walther@technowledgy.de> | 2025-02-01 17:20:32 +0100 |
| commit | 9c33953ba2f07ed37ed635e8ebedb5c045a053a0 (patch) | |
| tree | cff3907cb6e70ad012784a2dd049f6a599b5f4f1 /pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch | |
| parent | 3a931f3d8027d7390439196237b2cd433b4b6e6c (diff) | |
.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 'pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch')
0 files changed, 0 insertions, 0 deletions