CI: Work around a labeler bug that removes labels

diff --git a/.github/workflows/label.yml b/.github/workflows/label.yml
index 146c69dcde1468c0fb45a0e8a3e0aa74dc6e91d0..baab1e42a36288a68ed5a58fcce2a73d2a6ed49d 100644 (file)
--- a/.github/workflows/label.yml
+++ b/.github/workflows/label.yml
@@ -24,3 +24,5 @@ jobs:
     - uses: actions/labeler@v4
       with:
         repo-token: "${{ secrets.GITHUB_TOKEN }}"
+        # Workaround for actions/labeler#112
+        sync-labels: ''