From 5c006df36c849fa61451da0301545335fb5cb8bd Mon Sep 17 00:00:00 2001
From: Dan Fandrich <dan@coneharvesters.com>
Date: Thu, 28 Sep 2023 18:45:35 -0700
Subject: [PATCH] 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
---
 .github/workflows/label.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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