From 7d54a9b5d667ddce710d31328c35d4b8b95e3aa1 Mon Sep 17 00:00:00 2001 From: Zhiguo Wu Date: Fri, 13 Sep 2024 14:18:01 +0800 Subject: [PATCH] add whitespace --- .github/pr-title-checker-config.json | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/pr-title-checker-config.json b/.github/pr-title-checker-config.json index 3ab44eff..4d3d2e48 100644 --- a/.github/pr-title-checker-config.json +++ b/.github/pr-title-checker-config.json @@ -4,11 +4,11 @@ "color": "EEEEEE" }, "CHECKS": { - "regexp": "^BIGTOP-\\d{1,9}:.*" + "regexp": "^BIGTOP-\\d{1,9}: .*" }, "MESSAGES": { "success": "PR title is valid", "failure": "PR title is invalid", - "notice": "PR Title needs to pass regex '^BIGTOP-\\d{1,9}:.*'" + "notice": "PR Title needs to pass regex '^BIGTOP-\\d{1,9}: .*'" } } \ No newline at end of file