diff --git a/.github/labeler.yml b/.github/labeler.yml
index 3859d32..4e61cd3 100644
--- a/.github/labeler.yml
+++ b/.github/labeler.yml
@@ -1,9 +1,6 @@
 "Type: Proof":
-  - Comanche055/*.agc
-  - Luminary099/*.agc
-  - "!Comanche055/MAIN.agc"
-  - "!Luminary099/MAIN.agc"
+  - **/!(MAIN).agc
 "Type: Meta":
+  - "**/MAIN.agc"
   - "**/*.md"
-  - Comanche055/MAIN.agc
-  - Luminary099/MAIN.agc
+  - "*.md"