CI + Dev-Workspace: disable automatic rollout and setup new Workspace #145

Merged
mg merged 73 commits from image into master 2024-07-30 20:58:25 +02:00
Showing only changes of commit 000697d38f - Show all commits

View file

@ -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}