From ad35a251b03bdb56612d457ecd3b69ad700fa411 Mon Sep 17 00:00:00 2001
From: baldurk <baldurk@baldurk.org>
Date: Wed, 5 Jun 2024 13:47:18 +0100
Subject: [PATCH] Add PR/Push specific commit message handling in CI

* The previous ignoring of the top commit was to avoid badly-written merge
  commits added by github, we want to continue doing that for PRs but check all
  commits on push as a safety measure.
---
 .github/workflows/ci.yml | 14 +++++++++++++-
 1 file changed, 13 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 362b272b8..3cc920f45 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -23,7 +23,19 @@ jobs:
     - uses: actions/checkout@v4
       with:
         fetch-depth: 100
-    - name: Check commit messages
+    - name: Check commit messages (PR)
+      if: ${{ github.event_name == 'pull_request' }}
+      run: |
+        if git log --oneline | tail -n +2 | head -n 100 | grep -v 76f9176 | cut -d ' ' -f2- | grep -q '.\{73\}'; then
+          (echo -n "::error::";
+           echo "Some commit message summary lines are too long. See CONTRIBUTING.md for more information.";
+           echo "Invalid commits:";
+           echo;
+           git log --oneline | tail -n +2 | head -n 100 | grep -v 76f9176 | cut -d ' ' -f2- | grep '.\{73\}';) | tr '\n' '\001' | sed -e 's#\x01#%0A#g';
+          exit 1;
+        fi
+    - name: Check commit messages (Push)
+      if: ${{ github.event_name == 'push' }}
       run: |
         if git log --oneline | head -n 100 | grep -v 76f9176 | cut -d ' ' -f2- | grep -q '.\{73\}'; then
           (echo -n "::error::";