From 16fd3279f2b4bf81f5bde2474b454f112c03fb3e Mon Sep 17 00:00:00 2001 From: Globallager <72797635+Globallager@users.noreply.github.com> Date: Thu, 4 May 2023 21:29:13 +0800 Subject: [PATCH] fix(ci): Labeling `doc needed` PRs with uppercase checkbox `- [X]` (#1290) fix: Labeling `doc needed` PRs with uppercase checkbox `- [X]` --- .github/labeler.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/labeler.yml b/.github/labeler.yml index 8e0c08c95cb..dea78c8fb32 100644 --- 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.'