github/labeler: update a missed key in the v5 upgrade

Follow-up to ce03fe3ba

diff --git a/.github/labeler.yml b/.github/labeler.yml
index be585a690109e9ba0e3bc7446d4e346753e6b8c5..2c2de9b20a2bd5b329d9aabaadb8534d94d9446f 100644 (file)
--- a/.github/labeler.yml
+++ b/.github/labeler.yml
@@ -13,6 +13,8 @@
 # PR is all about that one topic, like HTTP/3), while the second ones are
 # "addendums" that give useful information about a PR that's really mostly
 # something else (e.g. CI if the PR also touches CI jobs).
+#
+# See https://github.com/actions/labeler/ for documentation on this file.
 
 appleOS:
 - all:
@@ -181,7 +183,7 @@ documentation:
       - 'LICENSES/**'
       - 'README'
       - 'RELEASE-NOTES'
-    - AllGlobsToAllFiles:
+    - all-globs-to-all-files:
         # negative matches
       - '!**/CMakeLists.txt'
       - '!**/Makefile.am'