From 4641db4604ca28f15bf8c9b79582fad6e66a196d Mon Sep 17 00:00:00 2001
From: Simon Michael <simon@joyful.com>
Date: Tue, 20 Jul 2021 22:57:55 -1000
Subject: [PATCH] ;ci: push: tweak output

---
 .github/workflows/push.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml
index 1c518b9a2..4ef59748e 100644
--- a/.github/workflows/push.yml
+++ b/.github/workflows/push.yml
@@ -80,7 +80,7 @@ jobs:
           && bin/commitlint  $RANGE \
           || ( echo "could not identify commits, checking last $NUM instead:"; bin/commitlint -$NUM )
 
-    - name: Skip remaining CI steps if last commit message begins with ; ?
+    - name: Skip remaining CI steps if latest commit message begins with ;
       run: |
         git log -1 --pretty='%s' ${GITHUB_HEAD_REF:+origin/$GITHUB_HEAD_REF} \
         | grep -qE '^ *;' || echo “::set-env name=CONTINUE::true”