CI: Make it clearer why a branch push was omitted

Author: AfoHT

.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