diff --git a/Jenkinsfile b/Jenkinsfile index d000c2e..eca0f0d 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -93,9 +93,10 @@ pipeline { git add -A && git commit -am "Recommit for updates in build $BUILD_NUMBER" || echo "No changes to commit" git push origin HEAD:master ''' + } } } - } + stage('Mirror to Gitea') { steps { withCredentials([usernamePassword( @@ -116,7 +117,8 @@ pipeline { push master --mirror ''' } - } + } + } } } } \ No newline at end of file