summaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
authorPaul Donald <newtwen@gmail.com>2024-01-30 14:56:06 +0100
committerPaul Donald <newtwen@gmail.com>2024-01-30 16:04:46 +0100
commit09cf4a17e093ea55122ac4d8c051c83e36d9141a (patch)
tree6eafbf78ac0006fc8413cfde70bb50cc88527e01
parent048c39abdf7991d865e1e5451abb50483d86ba23 (diff)
house-keeping: PR workflow check improvements
-rw-r--r--.github/workflows/formal.yml34
1 files changed, 33 insertions, 1 deletions
diff --git a/.github/workflows/formal.yml b/.github/workflows/formal.yml
index 548e1b2792..607585b923 100644
--- a/.github/workflows/formal.yml
+++ b/.github/workflows/formal.yml
@@ -22,7 +22,7 @@ jobs:
echo "Building for $BRANCH"
echo "BRANCH=$BRANCH" >> $GITHUB_ENV
- - name: Test for merge, subject and S.O.B.
+ - name: Test for merge commits, subject, S.O.B., and email
run: |
source .github/workflows/ci_helpers.sh
@@ -34,22 +34,54 @@ jobs:
RET=1
fi
+ authorname="$(git show -s --format=%aN $commit)"
+ if echo $authorname | grep -q '\S\+\s\+\S\+'; then
+ success "Author name ($authorname) seems ok"
+ elif echo $authorname | grep -q '\S\+'; then
+ success "Author name ($authorname) seems to be nick or alias"
+ else
+ err "Author name ($authorname) must be one of: real name 'firstname lastname' OR nickname/alias/handle "
+ RET=1
+ fi
+
+ committername="$(git show -s --format=%cN $commit)"
+ # Pattern \S\+\s\+\S\+ matches >= 2 names i.e. 3 and more e.g. "John Von Doe" also match
+ if echo $committername | grep -q '\S\+\s\+\S\+'; then
+ success "Committer name ($committername) seems ok"
+ elif echo $committername | grep -q '\S\+'; then
+ # Pattern \S\+ matches single names, typical of nicks or handles
+ success "Committer name ($committername) seems to be nick or alias"
+ else
+ err "Committer name ($committername) must be one of: real name 'firstname lastname' OR nickname/alias/handle "
+ RET=1
+ fi
+
subject="$(git show -s --format=%s $commit)"
if echo "$subject" | grep -q -e '^[0-9A-Za-z,+/_-]\+: ' -e '^Revert '; then
success "Commit subject line seems ok ($subject)"
+ elif echo "$subject" | grep -iq '^Translated using Weblate.*'; then
+ success "Weblate commit subject line exception OK: $subject"
else
err "Commit subject line MUST start with '<package name>: ' ($subject)"
RET=1
fi
body="$(git show -s --format=%b $commit)"
+ authoremail="$(git show -s --format='<%aE>' $commit)"
sob="$(git show -s --format='Signed-off-by: %aN <%aE>' $commit)"
if echo "$body" | grep -qF "$sob"; then
success "Signed-off-by matches author"
+ elif echo "$authoremail" | grep -iqF "<hosted@weblate.org>"; then
+ success "Signed-off-by exception: authored by Weblate"
else
err "Signed-off-by is missing or doesn't match author (should be '$sob')"
RET=1
fi
+
+ if echo "$authoremail" | grep -iqF "users.noreply"; then
+ err "Real email address policy: please configure GitHub email ($authoremail) to a real one"
+ RET=1
+ fi
done
exit $RET