From 000697d38f7f3185253154ea0fe9ccdc5cdb33f8 Mon Sep 17 00:00:00 2001
From: Michael Grote <michael.grote@posteo.de>
Date: Mon, 29 Jul 2024 16:13:57 +0200
Subject: [PATCH] dd

---
 devspace.sh | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/devspace.sh b/devspace.sh
index 357d88b3..1e89cf14 100755
--- a/devspace.sh
+++ b/devspace.sh
@@ -19,6 +19,9 @@ if ! [ -f "./id_ed25519" ]; then
   echo -e "${RED}SSH-Private-Key is missing!${RESET}"
   exit 1
 fi
+if ! [ -f "~/.git-credentials" ]; then
+  echo -e "${RED}~/.git-credentials not Found!${RESET}"
+fi
 
 docker pull ${IMAGE}