From c09a22c53360aecf74d12eb5ab9c412739050534 Mon Sep 17 00:00:00 2001
From: "Pedro S. Lopez" <pedroslopez@me.com>
Date: Mon, 15 Aug 2022 03:42:06 -0400
Subject: [PATCH] fix(publish): exit if pushing to github failed

---
 tools/publish | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/tools/publish b/tools/publish
index 2989faf..c3a6a97 100755
--- a/tools/publish
+++ b/tools/publish
@@ -57,7 +57,7 @@ echo "-----> BUMP VERSION"
 echo ""
 
 npm version $VERSION_ARGS || exit 1
-git push && git push --tags
+git push && git push --tags || exit 1
 
 NEW_VERSION=`cat package.json | jq -r .version`
 echo "New Version: $NEW_VERSION"
@@ -77,4 +77,4 @@ echo ""
 echo "::set-output name=NEW_VERSION::$NEW_VERSION"
 echo "::set-output name=PRERELEASE::$PRERELEASE"
 
-exit 0
\ No newline at end of file
+exit 0