From 02d0a8936307df57ff12f080185f118dbeed3ac0 Mon Sep 17 00:00:00 2001
From: "Daniel D. Beck" <daniel@ddbeck.com>
Date: Mon, 16 Sep 2024 14:50:44 +0200
Subject: [PATCH] Fix labeling tools and infrastructure PRs

The previous config required all globs to match. That is to say, all the
configuration files had to change for any PR to be labeled as tools and
infra.
---
 .github/labeler.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/labeler.yml b/.github/labeler.yml
index a36c4564482..ba290a8c911 100644
--- a/.github/labeler.yml
+++ b/.github/labeler.yml
@@ -11,7 +11,7 @@
 
 "tools and infrastructure":
   - changed-files:
-      - all-globs-to-any-file:
+      - any-glob-to-any-file:
           - ".eslint.config.js"
           - ".github/**"
           - ".node-version"