ci: prevent label remove

This prevents the removal of labels that occurs due to a bug in 'actions/labeler' (see actions/labeler#112).
rickstaa · Feb 7, 2023 · 6fc71c9 · 6fc71c9
1 parent 8e19ef0
commit 6fc71c9
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/pr_labeler.yml b/.github/workflows/pr_labeler.yml
@@ -9,3 +9,4 @@ jobs:
       - uses: actions/labeler@v4
         with:
           repo-token: "${{ secrets.GITHUB_TOKEN }}"
+          sync-labels: ''