aboutsummaryrefslogtreecommitdiffstats
path: root/.github
diff options
context:
space:
mode:
authorPaul Spooren <mail@aparcar.org>2022-02-23 19:51:43 +0100
committerPaul Spooren <mail@aparcar.org>2022-02-24 16:41:02 +0100
commitfb5d0dc362e5206dbedb694dbe27953582eb887b (patch)
tree716e9c52c6265ab9a4d86e4e9750195abfe7943c /.github
parent1e2549045c8ce8f1553266b011af872cf1ccb893 (diff)
downloadupstream-fb5d0dc362e5206dbedb694dbe27953582eb887b.tar.gz
upstream-fb5d0dc362e5206dbedb694dbe27953582eb887b.tar.bz2
upstream-fb5d0dc362e5206dbedb694dbe27953582eb887b.zip
CI: allow dots in commit subject area
Due to a limited grep pattern, subjects containing dots like `image.mk` were falsely reported as problematic. Extend pattern to allow dots. Signed-off-by: Paul Spooren <mail@aparcar.org>
Diffstat (limited to '.github')
-rw-r--r--.github/workflows/formal.yml2
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/formal.yml b/.github/workflows/formal.yml
index 74e8fd6942..5046b5a180 100644
--- a/.github/workflows/formal.yml
+++ b/.github/workflows/formal.yml
@@ -43,7 +43,7 @@ jobs:
fi
subject="$(git show -s --format=%s $commit)"
- if echo "$subject" | grep -q -e '^[0-9A-Za-z,+/_-]\+: ' -e '^Revert '; then
+ if echo "$subject" | grep -q -e '^[0-9A-Za-z,+/_\.-]\+: ' -e '^Revert '; then
success "Commit subject line seems ok ($subject)"
else
err "Commit subject line MUST start with '<area>: ' ($subject)"