From 58cb6073531eb1d8d952d8739fb3cc8c1aa5a203 Mon Sep 17 00:00:00 2001
From: Jan Holthuis <jan.holthuis@ruhr-uni-bochum.de>
Date: Sat, 24 Oct 2020 15:01:54 +0200
Subject: GitHub Actions: Prevent labeler from removing manually added labels

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

diff --git a/.github/workflows/labeler.yml b/.github/workflows/labeler.yml
index 14bb21cd21..0873de8f8d 100644
--- a/.github/workflows/labeler.yml
+++ b/.github/workflows/labeler.yml
@@ -17,3 +17,8 @@ jobs:
     - uses: actions/labeler@main
       with:
         repo-token: "${{ secrets.GITHUB_TOKEN }}"
+
+        # This works around bug https://github.com/actions/labeler/issues/104.
+        # The workaround was proposed here:
+        # https://github.com/wesnoth/wesnoth/commit/958c82d0867568057caaf58356502ec8c87d8366
+        sync-labels: ""
-- 
cgit v1.2.3