From 9391e4a2dcc6bf0ee0d30d024afc971e0a664213 Mon Sep 17 00:00:00 2001
From: James Harris <wopian@wopian.me>
Date: Mon, 1 Jun 2020 22:58:28 +0100
Subject: [PATCH] ci: don't mark edits to the meta MAIN.agc as proofing PRs

This file is just including all the submodules.
---
 .github/labeler.yml | 11 +++++++----
 1 file changed, 7 insertions(+), 4 deletions(-)

diff --git a/.github/labeler.yml b/.github/labeler.yml
index 115c71b..9930d73 100644
--- a/.github/labeler.yml
+++ b/.github/labeler.yml
@@ -1,6 +1,9 @@
 "Type: Proof":
-  - Comanche055/*.*
-  - Luminary099/*.*
+  - Comanche055/*.agc
+  - Luminary099/*.agc
+  - !Comanche055/MAIN.agc
+  - !Luminary099/MAIN.agc
 "Type: Meta":
-  - README.*
-  - CONTRIBUTING.*
+  - **/*.md
+  - Comanche055/MAIN.agc
+  - Luminary099/MAIN.agc