diff --git a/Jenkinsfile b/Jenkinsfile index 899cab0..11ec530 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -107,16 +107,17 @@ pipeline { sshagent(['edd05eb6-26b5-4c7b-a5cc-ea2ab899f4fa']) { script { // Checkout from GitLab (already done implicitly) - sh """ + sh ''' git config user.name "Jenkins Server" git config user.email jenkins@confdroid.com git checkout master git remote add gitea https://gitea.confdroid.com/confdroid/puppet_cd.git git push --mirror gitea - """ + ''' } } } } +*/ } }