From: Dan Fandrich <dan@coneharvesters.com>
Date: Fri, 29 Sep 2023 01:45:35 +0000 (-0700)
Subject: github/labeler: remove workaround for labeler
X-Git-Tag: curl-8_4_0~82
X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=5c006df36c849fa61451da0301545335fb5cb8bd;p=thirdparty%2Fcurl.git

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 c1feadfe74..6a157d2404 100644
--- 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