From efb342eecb32307edd654ffb697ff5d4eefd6ef7 Mon Sep 17 00:00:00 2001
From: Lou DeGenaro <lou.degenaro@gmail.com>
Date: Thu, 15 Jun 2023 16:23:16 -0400
Subject: [PATCH] Update push

If version has not changed, nothing to push.

Signed-off-by: Lou DeGenaro <lou.degenaro@gmail.com>
---
 scripts/automation/push.sh | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/scripts/automation/push.sh b/scripts/automation/push.sh
index aa11791..ab7123b 100755
--- a/scripts/automation/push.sh
+++ b/scripts/automation/push.sh
@@ -47,6 +47,10 @@ function github-branch-commit() {
         return 1
     fi
     if [[ $GIT_BRANCH = main ]]; then
+    	if [ -z  "${VERSION_TAG}" ]; then
+    		msg "Nothing to push, version unchanged" 
+        	return 0 
+    	fi
         echo "Version tag: ${VERSION_TAG}" 
         if ! git push --delete origin "v${VERSION_TAG}"; then
             err "failed to delete git tag: v${VERSION_TAG}"