fix(ci): Labeling doc needed PRs with uppercase checkbox - [X] (#…

…1290) fix: Labeling `doc needed` PRs with uppercase checkbox `- [X]`
noir-lang · May 4, 2023 · 16fd327 · 16fd327
1 parent afa6749
commit 16fd327
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/labeler.yml b/.github/labeler.yml
@@ -1,3 +1,3 @@
 # Add/remove 'doc needed' label if issue/PR contains the line '- [x] This PR requires documentation updates when merged.'
 "doc needed":
-  - '- \[x\] This PR requires documentation updates when merged.'
+  - '- \[(x|X)\] This PR requires documentation updates when merged.'