diff --git a/Jenkinsfile b/Jenkinsfile index ab7685a..95f82d8 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -111,6 +111,8 @@ pipeline { git pull origin master git branch -D development git branch -D jenkins-build-$BUILD_NUMBER + git rm -f Jenkinsfile + git commit --amend --no-edit --allow-empty 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 master --mirror