Pull Request Labeler - Workaround sync-labels bug (#7431)

* PR labeler, workaround sync-labels bug

* Update label-prs.yml

* The bot gets it's own label then.

* Update label-prs.yml

* bot get's to change topic-performance, we humans get run-benchmarks

Author: Illviljan

.github/labeler.yml

@@ -54,10 +54,6 @@ topic-indexing:
   - xarray/core/indexes.py
   - xarray/core/indexing.py
 
-run-benchmark:
-  - asv_bench/benchmarks/*
-  - asv_bench/benchmarks/**/*
-
 topic-performance:
   - asv_bench/benchmarks/*
   - asv_bench/benchmarks/**/*

.github/workflows/benchmarks.yml

@@ -7,7 +7,7 @@ on:
 
 jobs:
   benchmark:
-    if: ${{ contains( github.event.pull_request.labels.*.name, 'run-benchmark') && github.event_name == 'pull_request' || github.event_name == 'workflow_dispatch' }}
+    if: ${{ contains( github.event.pull_request.labels.*.name, 'run-benchmark') && github.event_name == 'pull_request' || contains( github.event.pull_request.labels.*.name, 'topic-performance') && github.event_name == 'pull_request' || github.event_name == 'workflow_dispatch' }}
     name: Linux
     runs-on: ubuntu-20.04
     env:

.github/workflows/label-prs.yml

@@ -9,4 +9,6 @@ jobs:
     - uses: actions/labeler@main
       with:
         repo-token: "${{ secrets.GITHUB_TOKEN }}"
-        sync-labels: false
+        # Workaround for sync-labels bug:
+        # https://github.com/actions/labeler/issues/112
+        sync-labels: ""