diff --git a/Jenkinsfile b/Jenkinsfile index f42e9e0..4c707ca 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -107,11 +107,11 @@ pipeline { script { // Checkout from GitLab (already done implicitly) sh ''' - git remote remove gitea || true git checkout master + git pull origin master git remote add master https://gitea.confdroid.com/confdroid/puppet_cd.git git -c credential.helper="!f() { echo username=${GITEA_USER}; echo password=${GITEA_TOKEN}; }; f" \ - push refs/heads/master:refs/heads/master + push origin HEAD:master ''' } }