diff --git a/Jenkinsfile b/Jenkinsfile index 0705c53..57f997b 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -111,8 +111,7 @@ pipeline { git checkout 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 origin HEAD:master --tags \ - push origin HEAD:master + push origin HEAD:master --tags ''' } }