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
4 changed files with 1 additions and 1 deletions
Showing only changes of commit 6e6be42e95 - Show all commits

View file

@ -21,7 +21,7 @@ if ! [ -f "./id_ed25519" ]; then
exit 1
fi
if ! [ -f "~/.git-credentials" ]; then
echo -e "${YELLOW}~/.git-credentials not Found!${RESET}"
echo -e "${YELLOW}~/.git-credentials not found!${RESET}"
fi
docker pull ${IMAGE}

0
f
View file

0
ff
View file

0
gg
View file