From aafb6d21cf052260f62c225c2b494b91d3dd65fe Mon Sep 17 00:00:00 2001
From: Simon Michael <simon@joyful.com>
Date: Wed, 20 Apr 2022 22:25:23 -1000
Subject: [PATCH] ci: push, pull: debug logging

---
 .github/workflows/pull.yml | 4 ++--
 .github/workflows/push.yml | 5 +++--
 2 files changed, 5 insertions(+), 4 deletions(-)

diff --git a/.github/workflows/pull.yml b/.github/workflows/pull.yml
index bfa3437d3..cbac3df0c 100644
--- a/.github/workflows/pull.yml
+++ b/.github/workflows/pull.yml
@@ -91,12 +91,12 @@ jobs:
         RANGE=${BEFORE:-origin/master}..${GITHUB_HEAD_REF:+origin/$GITHUB_HEAD_REF}
         echo debug: BEFORE: $BEFORE
         echo debug: GITHUB_HEAD_REF: $GITHUB_HEAD_REF
-        echo debug: $RANGE
+        echo debug: RANGE: $RANGE
         echo debug: log BEFORE: $(git log -1 $BEFORE | head -1)
         echo debug: log origin/master: $(git log -1 origin/master | head -1)
         echo debug: log GITHUB_HEAD_REF: $(git log -1 $GITHUB_HEAD_REF | head -1)
         echo debug: log origin/GITHUB_HEAD_REF: $(git log -1 origin/$GITHUB_HEAD_REF | head -1)
-        echo debug: log RANGE: $(git log $RANGE | grep -E '^commit')
+        echo debug: log RANGE: $(git log --format='%h -%d %s (%an, %cr)' --abbrev-commit --date=relative --date-order $RANGE)
         if git rev-list --quiet $RANGE
         then tools/commitlint $RANGE
         else echo "could not identify commits, not checking them"
diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml
index d634c2f52..69b225f9b 100644
--- a/.github/workflows/push.yml
+++ b/.github/workflows/push.yml
@@ -94,12 +94,13 @@ jobs:
         RANGE=${BEFORE:-origin/master}..${GITHUB_HEAD_REF:+origin/$GITHUB_HEAD_REF}
         echo debug: BEFORE: $BEFORE
         echo debug: GITHUB_HEAD_REF: $GITHUB_HEAD_REF
-        echo debug: $RANGE
+        echo debug: RANGE: $RANGE
         echo debug: log BEFORE: $(git log -1 $BEFORE | head -1)
         echo debug: log origin/master: $(git log -1 origin/master | head -1)
         echo debug: log GITHUB_HEAD_REF: $(git log -1 $GITHUB_HEAD_REF | head -1)
         echo debug: log origin/GITHUB_HEAD_REF: $(git log -1 origin/$GITHUB_HEAD_REF | head -1)
-        echo debug: log RANGE: $(git log $RANGE | grep -E '^commit')
+        echo debug: log RANGE: $(git log --format='%h -%d %s (%an, %cr)' --abbrev-commit --date=relative --date-order $RANGE)
+
         if git rev-list --quiet $RANGE
         then tools/commitlint $RANGE
         else echo "could not identify commits, not checking them"