diff --git a/Jenkinsfile b/Jenkinsfile index edd5a29..e83e1e0 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -112,8 +112,9 @@ pipeline { // Checkout from GitLab (already done implicitly) sh ''' git remote remove gitea || true - git remote add gitea https://${GITEA_USER}:${GITEA_TOKEN}@gitea.confdroid.com/confdroid/puppet_cd.git - git push --mirror gitea + git remote add gitea https://gitea.confdroid.com/confdroid/puppet_cd.git + git -c credential.helper="!f() { echo username=${GITEA_USER}; echo password=${GITEA_TOKEN}; }; f" \ + push gitea refs/heads/master:refs/heads/master --tags ''' } }