diff --git a/.github/workflows/pull.yml b/.github/workflows/pull.yml
index 9600f0a91..50f6d6e9c 100644
--- a/.github/workflows/pull.yml
+++ b/.github/workflows/pull.yml
@@ -90,21 +90,14 @@ jobs:
       run: |
         RANGE=${BEFORE:-origin/master}..${GITHUB_HEAD_REF:+origin/$GITHUB_HEAD_REF}
 
-        echo debug: BEFORE: $BEFORE
-        echo debug:    git log --format='%h -%d %s (%an, %cr)' -1 $BEFORE
-        echo debug:  $(git log --format='%h -%d %s (%an, %cr)' -1 $BEFORE)
-        echo debug: origin/master:
-        echo debug:    git log --format='%h -%d %s (%an, %cr)' -1 origin/master
-        echo debug:  $(git log --format='%h -%d %s (%an, %cr)' -1 origin/master)
-        echo debug: GITHUB_HEAD_REF: $GITHUB_HEAD_REF
-        echo debug:    git log --format='%h -%d %s (%an, %cr)' -1 $GITHUB_HEAD_REF
-        echo debug:  $(git log --format='%h -%d %s (%an, %cr)' -1 $GITHUB_HEAD_REF)
-        echo debug: origin/GITHUB_HEAD_REF: origin/$GITHUB_HEAD_REF
-        echo debug:    git log --format='%h -%d %s (%an, %cr)' -1 origin/$GITHUB_HEAD_REF
-        echo debug:  $(git log --format='%h -%d %s (%an, %cr)' -1 origin/$GITHUB_HEAD_REF)
-        echo "debug: RANGE (commits being checked): $RANGE"
-        echo debug:    git log --format='%h -%d %s (%an, %cr)' --abbrev-commit --date=relative --date-order $RANGE
-        echo debug:  $(git log --format='%h -%d %s (%an, %cr)' --abbrev-commit --date=relative --date-order $RANGE)
+        echo "debug: BEFORE=$BEFORE"
+        echo "debug:  $(git log --format='%h -%d %s (%an, %ci)' -1 $BEFORE)"
+        echo "debug: origin/master="
+        echo "debug:  $(git log --format='%h -%d %s (%an, %ci)' -1 origin/master)"
+        echo "debug: GITHUB_HEAD_REF=$GITHUB_HEAD_REF"
+        echo "debug:  $(git log --format='%h -%d %s (%an, %ci)' -1 $GITHUB_HEAD_REF)"
+        echo "debug: RANGE(commits to check)=$RANGE"
+        echo "debug:  $(git log --format='%h -%d %s (%an, %ci)' --abbrev-commit --date=relative --date-order $RANGE)"
 
         if git rev-list --quiet $RANGE
         then tools/commitlint $RANGE
diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml
index c730bc13b..950a91949 100644
--- a/.github/workflows/push.yml
+++ b/.github/workflows/push.yml
@@ -91,23 +91,16 @@ jobs:
         # NUM:    5
       shell: bash
       run: |
-        RANGE=${BEFORE:-origin/master}..${GITHUB_HEAD_REF:+origin/$GITHUB_HEAD_REF}
+        RANGE=${BEFORE:-origin/master}..${GITHUB_HEAD_REF:-}
 
-        echo debug: BEFORE: $BEFORE
-        echo debug:    git log --format='%h -%d %s (%an, %cr)' -1 $BEFORE
-        echo debug:  $(git log --format='%h -%d %s (%an, %cr)' -1 $BEFORE)
-        echo debug: origin/master:
-        echo debug:    git log --format='%h -%d %s (%an, %cr)' -1 origin/master
-        echo debug:  $(git log --format='%h -%d %s (%an, %cr)' -1 origin/master)
-        echo debug: GITHUB_HEAD_REF: $GITHUB_HEAD_REF
-        echo debug:    git log --format='%h -%d %s (%an, %cr)' -1 $GITHUB_HEAD_REF
-        echo debug:  $(git log --format='%h -%d %s (%an, %cr)' -1 $GITHUB_HEAD_REF)
-        echo debug: origin/GITHUB_HEAD_REF: origin/$GITHUB_HEAD_REF
-        echo debug:    git log --format='%h -%d %s (%an, %cr)' -1 origin/$GITHUB_HEAD_REF
-        echo debug:  $(git log --format='%h -%d %s (%an, %cr)' -1 origin/$GITHUB_HEAD_REF)
-        echo "debug: RANGE (commits being checked): $RANGE"
-        echo debug:    git log --format='%h -%d %s (%an, %cr)' --abbrev-commit --date=relative --date-order $RANGE
-        echo debug:  $(git log --format='%h -%d %s (%an, %cr)' --abbrev-commit --date=relative --date-order $RANGE)
+        echo "debug: BEFORE=$BEFORE"
+        echo "debug:  $(git log --format='%h -%d %s (%an, %ci)' -1 $BEFORE)"
+        echo "debug: origin/master="
+        echo "debug:  $(git log --format='%h -%d %s (%an, %ci)' -1 origin/master)"
+        echo "debug: GITHUB_HEAD_REF=$GITHUB_HEAD_REF"
+        echo "debug:  $(git log --format='%h -%d %s (%an, %ci)' -1 $GITHUB_HEAD_REF)"
+        echo "debug: RANGE(commits to check)=$RANGE"
+        echo "debug:  $(git log --format='%h -%d %s (%an, %ci)' --abbrev-commit --date=relative --date-order $RANGE)"
 
         if git rev-list --quiet $RANGE
         then tools/commitlint $RANGE