diff options
| author | Yegor Yefremov <yegorslists@googlemail.com> | 2023-11-29 09:13:18 +0100 |
|---|---|---|
| committer | Rosen Penev <rosenp@gmail.com> | 2023-12-01 15:13:42 -0800 |
| commit | 13553e66412fbcc215ae06ea71d11cfdad546dae (patch) | |
| tree | 97b37de6a89281ab2cf4aa23402a67b4270bcd87 /.github | |
| parent | 661a22c59488a2ccbb5b9dfcb07b440e2dce5a11 (diff) | |
CI: allow PRs for CONTRIBUTING.md and README.md files
Also grep for CONTRIBUTING.md and README.md in the subject.
Signed-off-by: Yegor Yefremov <yegorslists@googlemail.com>
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/formal.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/formal.yml b/.github/workflows/formal.yml index b3f824c52..1447a3959 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 ' -e '^CONTRIBUTING.md' -e '^README.md'; then success "Commit subject line seems ok ($subject)" else err "Commit subject line MUST start with '<package name>: ' ($subject)" |