Revert: Zurück zu git.michaelschiemer.de da repository.michaelschiemer.de:5000 nicht erreichbar

This commit is contained in:
2025-10-31 20:28:01 +01:00
parent f1329433ce
commit 1107f84f42
4 changed files with 11 additions and 11 deletions

View File

@@ -39,10 +39,10 @@ jobs:
/workspace/repo
else
git clone --depth 1 --branch "$REF_NAME" \
"https://repository.michaelschiemer.de:5000/${REPO}.git" \
"https://git.michaelschiemer.de/${REPO}.git" \
/workspace/repo || \
git clone --depth 1 \
"https://repository.michaelschiemer.de:5000/${REPO}.git" \
"https://git.michaelschiemer.de/${REPO}.git" \
/workspace/repo
fi