github/labeler: give the sync-labels config item a default value

This shouldn't be necessary and is likely a bug with this beta version of the labeller. Also, fix the negative matches for the documentation label. Follow-up to dd12b45 Closes curl#11907
dongc · Sep 21, 2023 · b2b0534 · b2b0534
1 parent 32dcda9
commit b2b0534
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/.github/labeler.yml b/.github/labeler.yml
@@ -157,6 +157,7 @@ documentation:
       - 'LICENSES/**'
       - 'README'
       - 'RELEASE-NOTES'
+    - AllGlobsToAllFiles:
         # some negative matches
       - '!**/CMakeLists.txt'
       - '!docs/examples/**'

diff --git a/.github/workflows/label.yml b/.github/workflows/label.yml
@@ -24,3 +24,4 @@ jobs:
     - uses: actions/[email protected]
       with:
         repo-token: "${{ secrets.GITHUB_TOKEN }}"
+        sync-labels: false