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 dd12b452a
Closes #11907

diff --git a/.github/labeler.yml b/.github/labeler.yml
index c19101b72f760a12f71cd3b9da1d6edaef4875fa..a8d0aaa58641ac3a1da118a726328529bd0cd664 100644 (file)
--- 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
index 4c478c607647475b13a6ee380a6a21c91d611ad4..931ef9a5f72b393d51c0911ad66314068cfe36fd 100644 (file)
--- a/.github/workflows/label.yml
+++ b/.github/workflows/label.yml
@@ -24,3 +24,4 @@ jobs:
     - uses: actions/labeler@v5.0.0-beta.1
       with:
         repo-token: "${{ secrets.GITHUB_TOKEN }}"
+        sync-labels: false