From b47785e4f7b686811ed5ac973a89286549e57573 Mon Sep 17 00:00:00 2001
From: Michael Grote <michael.grote@posteo.de>
Date: Fri, 21 Jul 2023 19:02:05 +0200
Subject: [PATCH] checks

---
 x | 26 ++++++++++++++++++++++++++
 1 file changed, 26 insertions(+)

diff --git a/x b/x
index eb36c31..e1bb9e6 100644
--- a/x
+++ b/x
@@ -12,6 +12,32 @@ GIT_USERNAME=oxidized-selfmade
 GIT_USER_MAIL=michael.grote@posteo.de
 GIT_REPO_REMOTE_NAME=origin
 
+# Checks
+if [ ! -v $GIT_REPO_PATH ]; then
+    echo "GIT_REPO_PATH is not set."
+    exit 3
+fi
+if [ ! -v $GIT_REPO_BRANCH ]; then
+    echo "GIT_REPO_BRANCH is not set."
+    exit 3
+fi
+if [ ! -v $GIT_USERNAME ]; then
+    echo "GIT_USERNAME is not set."
+    exit 3
+fi
+if [ ! -v $GIT_USER_MAIL ]; then
+    echo "GIT_USER_MAIL is not set."
+    exit 3
+fi
+if [ ! -v $GIT_REPO_REMOTE_NAME ]; then
+    echo "GIT_REPO_REMOTE_NAME is not set."
+    exit 3
+fi
+if [ ! -v $DEVICES ]; then
+    echo "DEVICES is not set."
+    exit 3
+fi
+
 git config --global user.email "$GIT_USER_MAIL"
 git config --global user.name "$GIT_USERNAME"