build: auto-label PRs affecting the REPL

kgryte · kgryte · commit d7a87e173030 · 2024-12-14T23:30:55.000-08:00
diff --git a/.github/labeler.yml b/.github/labeler.yml
@@ -28,6 +28,10 @@ Math:
 - changed-files:
   - any-glob-to-all-files: '**/math/**/*'
 
+REPL:
+- changed-files:
+  - any-glob-to-all-files: '**/repl/**/*'
+
 Statistics:
 - changed-files:
   - any-glob-to-all-files: '**/stats/**/*'
