diff options
| author | Idan Horowitz <idan.horowitz@gmail.com> | 2021-07-13 21:54:36 +0300 |
|---|---|---|
| committer | Linus Groh <mail@linusgroh.de> | 2021-07-13 19:56:14 +0100 |
| commit | f09e361eefcbb7c7aeaae0255b9fbb5aa6e5b2db (patch) | |
| tree | 4c3b8f2ab7b02ef6e8dbbe0c4bad7c76bfe0c764 /Meta/lint-commit.sh | |
| parent | 804d592303a06432efd479547f628f6bfb28630a (diff) | |
| download | serenity-f09e361eefcbb7c7aeaae0255b9fbb5aa6e5b2db.zip | |
CI: Disallow spaces just before the separating colon in commit titles
Diffstat (limited to 'Meta/lint-commit.sh')
| -rwxr-xr-x | Meta/lint-commit.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Meta/lint-commit.sh b/Meta/lint-commit.sh index 38b8e21131..bb5073627d 100755 --- a/Meta/lint-commit.sh +++ b/Meta/lint-commit.sh @@ -23,7 +23,7 @@ while read -r line; do ((line_number += 1)) line_length=${#line} - category_pattern="^\S.*?: .+" + category_pattern="^\S.*?\S: .+" if [[ $line_number -eq 1 ]] && (echo "$line" | grep -P -v -q "$category_pattern"); then error "Missing category in commit title (if this is a fix up of a previous commit, it should be squashed)" fi |