From c380fb2ab40f10bd4d571c3c6a0153e6edee2ab1 Mon Sep 17 00:00:00 2001
From: James Harris <wopian@wopian.me>
Date: Tue, 9 Jun 2020 20:43:15 +0100
Subject: [PATCH] Update labeler.yml

---
 .github/labeler.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/labeler.yml b/.github/labeler.yml
index 4e61cd3..726a93e 100644
--- a/.github/labeler.yml
+++ b/.github/labeler.yml
@@ -1,5 +1,5 @@
 "Type: Proof":
-  - **/!(MAIN).agc
+  - "**/!(MAIN).agc"
 "Type: Meta":
   - "**/MAIN.agc"
   - "**/*.md"