From f476b842d539349df49301a7638f6f6e47f1f6b5 Mon Sep 17 00:00:00 2001
From: jack1142 <6032823+jack1142@users.noreply.github.com>
Date: Tue, 23 Feb 2021 14:57:34 +0100
Subject: [PATCH] Work around `actions/labeler`'s upstream issue with label
 sync setting (#4844)

* Work around `actions/labeler`'s upstream issue with label sync setting

* Add comment about this being a workaround
---
 .github/workflows/auto_labeler_pr.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/auto_labeler_pr.yml b/.github/workflows/auto_labeler_pr.yml
index 6c08dec9c..7d93fb35f 100644
--- a/.github/workflows/auto_labeler_pr.yml
+++ b/.github/workflows/auto_labeler_pr.yml
@@ -10,3 +10,4 @@ jobs:
         uses: actions/labeler@v3
         with:
           repo-token: "${{ secrets.GITHUB_TOKEN }}"
+          sync-labels: ""  # this is a temporary workaround, see #4844