diff --git a/deploy-this/update-from-git.jenkinsfile b/deploy-this/update-from-git.jenkinsfile index bea038e..8fa19cd 100755 --- a/deploy-this/update-from-git.jenkinsfile +++ b/deploy-this/update-from-git.jenkinsfile @@ -23,14 +23,14 @@ pipeline { dir(project) { sh """ git config --global --add safe.directory \$(pwd) - git remote set-url origin https://${GIT_USER}:${GIT_PASS}@git.arti24.eu/gitea/${project}.git + git remote set-url origin https://${GIT_USER}:${GIT_PASS}@git.arti24.eu/arti24/${project}.git git fetch --prune origin git checkout -B main origin/main """ } } else { sh """ - git clone --shallow-since="1 year ago" https://${GIT_USER}:${GIT_PASS}@git.arti24.eu/gitea/${project}.git ${project} + git clone --shallow-since="1 year ago" https://${GIT_USER}:${GIT_PASS}@git.arti24.eu/arti24/${project}.git ${project} """ } }