From 392795ebe0aff76bdf2d715e9a6e5f7375235e3e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Henrik=20Tj=C3=A4der?= <henrik@tjaders.com>
Date: Wed, 31 May 2023 21:22:03 +0200
Subject: [PATCH] CI: Make it clearer why a branch push was omitted

---
 .github/workflows/build.yml | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 719f84b618..d7a0fc3668 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -479,6 +479,10 @@ jobs:
         if: ${{ env.versionmajor == env.STABLE_VERSION }}
         run: git push -u origin ${{ env.branch }}
 
+      - name: Else case, master did not contain the stable version version
+        if: ${{ env.versionmajor != env.STABLE_VERSION }}
+        run: echo "Master branch contains a development release, no git push performed"
+
   # Only runs when pushing to master branch
   # Bors run CI against staging branch,
   # if that succeeds Borst tries against master branch