[DOCS] Label the binder directory with the PR labeler (#1485)

apache · Jun 20, 2024 · 4e18a4d · 4e18a4d
1 parent a733166
commit 4e18a4d
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/.github/labeler.yml b/.github/labeler.yml
@@ -5,6 +5,12 @@ root:
           - any-glob-to-any-file:
               - '*'
 
+binder:
+  - any:
+      - changed-files:
+          - any-glob-to-any-file:
+              - binder/**/*
+
 docs:
   - any:
       - changed-files: