.github/workflows: disable sync-labels in pr-triage

`sync-labels` is defined as "Whether or not to remove labels
when matching files are reverted or no longer changed by the PR".

We should disable this in case someone manually adds a label,
so the label doesn't get removed.

Signed-off-by: Laura Flores <lflores@ibm.com>

diff --git a/.github/workflows/pr-triage.yml b/.github/workflows/pr-triage.yml
index 24b1c97db708aa5881408f16c89185c7712275e5..2edb25f3ad89f75d0e964c90c05262e494241e7d 100644 (file)
--- a/.github/workflows/pr-triage.yml
+++ b/.github/workflows/pr-triage.yml
@@ -11,7 +11,7 @@ jobs:
         # https://github.com/marketplace/actions/labeler?version=v4.0.2
         uses: actions/labeler@5c7539237e04b714afd8ad9b4aed733815b9fab4
         with:
-          sync-labels: ''
+          sync-labels: false
           repo-token: "${{ secrets.GITHUB_TOKEN }}"
       - name: Assign to Dashboard project
         # https://github.com/marketplace/actions/add-to-github-projects?version=v0.5.0