From d40cd3cf05b13feb0d5b1823092059ebe834f1f9 Mon Sep 17 00:00:00 2001
From: Wojciech Knapik <wmknapik@gmail.com>
Date: Fri, 29 Dec 2023 22:11:02 +0100
Subject: [PATCH] Fixed automatic removal of PR labels

---
 .github/workflows/assign-labels.yml | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/.github/workflows/assign-labels.yml b/.github/workflows/assign-labels.yml
index 84fbf01dfe52..8d4aab15dbdb 100644
--- a/.github/workflows/assign-labels.yml
+++ b/.github/workflows/assign-labels.yml
@@ -15,3 +15,8 @@ jobs:
     - uses: actions/labeler@ac9175f8a1f3625fd0d4fb234536d26811351594 # v4.3.0
       with:
         repo-token: "${{ secrets.GITHUB_TOKEN }}"
+        # Workaround for https://github.com/actions/labeler/issues/104
+        # Explained at https://github.com/wesnoth/wesnoth/commit/958c82d0867568057caaf58356502ec8c87d8366
+        # Should continue working https://github.com/actions/labeler/pull/113#issuecomment-865404272
+        # The above are not fixed in v4.3.0, which is currently the last v4 before v5
+        sync-labels: ""