github/labeler: remove workaround for labeler

This was added due to what seemed to be a bug regarding the sync-labels:
config option, but it looks like it wasn't necessary.

Follow-up to b2b0534e7

diff --git a/.github/workflows/label.yml b/.github/workflows/label.yml
index c1feadfe7453388e4c000b3be9e81eeed800115e..6a157d24047083d1e94c25e4ae91c1153e4514cf 100644 (file)
--- a/.github/workflows/label.yml
+++ b/.github/workflows/label.yml
@@ -24,5 +24,5 @@ jobs:
     - uses: actions/labeler@v5.0.0-beta.1
       with:
         repo-token: "${{ secrets.GITHUB_TOKEN }}"
-        sync-labels: false
-        dot: true
+        # This is documented but doesn't work yet:
+        #dot: true