From fbe6aa5e4bee71fee11c3e8975233985d9babd12 Mon Sep 17 00:00:00 2001
From: Adam Dobrawy <naczelnik@jawnosc.tk>
Date: Sat, 24 Aug 2019 13:44:51 +0200
Subject: [PATCH] Update start.sh

---
 start.sh | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/start.sh b/start.sh
index 6c77d32..5ec381c 100755
--- a/start.sh
+++ b/start.sh
@@ -1,6 +1,9 @@
 #!/bin/sh
-set -eux
 echo "Push to branch ${INPUT_BRANCH}";
+[ -z "${INPUT_GITHUB_TOKEN}" ] && {
+    echo 'Missing input "github_token: ${{ secrets.GITHUB_TOKEN }}".';
+    exit 1;
+};
 
 header=$(echo -n "ad-m:${INPUT_GITHUB_TOKEN}" | base64)
 git -c http.extraheader="AUTHORIZATION: basic $header" push origin refs/remotes/origin/master:master;
\ No newline at end of file