From 13553e66412fbcc215ae06ea71d11cfdad546dae Mon Sep 17 00:00:00 2001
From: Yegor Yefremov <yegorslists@googlemail.com>
Date: Wed, 29 Nov 2023 09:13:18 +0100
Subject: [PATCH] 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>
---
 .github/workflows/formal.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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)"