From f9fd67b74507e656f5946849c8281a2b21661acb Mon Sep 17 00:00:00 2001
From: "flow.gunso" <flow.gunso@gmail.com>
Date: Tue, 19 Mar 2019 14:25:16 +0100
Subject: [PATCH] Forgot to exit on non-push pipeline trigger

---
 utils/publish/staging.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/utils/publish/staging.sh b/utils/publish/staging.sh
index b7261a2..0c220cf 100755
--- a/utils/publish/staging.sh
+++ b/utils/publish/staging.sh
@@ -19,6 +19,7 @@
 # Restrict to pipeline triggered by pushes.
 if [ $CI_PIPELINE_SOURCE != "push" ]; then
     echo "This must be only ran from pushes."
+    exit 1
 fi
 
 # Build and push as staging.