ci: don't mark edits to the meta MAIN.agc as proofing PRs

This file is just including all the submodules.
2020-06-01 22:58:28 +01:00
parent a7ba3052f6
commit 9391e4a2dc
1 changed files with 7 additions and 4 deletions
--- a/.github/labeler.yml
+++ b/.github/labeler.yml
@@ -1,6 +1,9 @@
 "Type: Proof":
-  - Comanche055/*.*
+  - Comanche055/*.agc
-  - Luminary099/*.*
+  - Luminary099/*.agc
  - !Comanche055/MAIN.agc
  - !Luminary099/MAIN.agc
 "Type: Meta":
-  - README.*
+  - **/*.md
-  - CONTRIBUTING.*
+  - Comanche055/MAIN.agc
  - Luminary099/MAIN.agc