diff --git a/Jenkinsfile b/Jenkinsfile index c0b400b..0714665 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -103,21 +103,20 @@ pipeline { } stage('Mirror to Gitea') { - steps { - sshagent(['edd05eb6-26b5-4c7b-a5cc-ea2ab899f4fa']) { - script { + steps { + sshagent(['edd05eb6-26b5-4c7b-a5cc-ea2ab899f4fa']) { + script { // Checkout from GitLab (already done implicitly) 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 -c user.email=jenkins@confdroid.com -c user.name=Jenkins push --mirror gitea + 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 -c user.email=jenkins@confdroid.com -c user.name=Jenkins push --mirror gitea """ - } - } } - when { branch 'master' } // Only on main branch to avoid noise + } + } } } }