diff --git a/jenkinsfile b/jenkinsfile index 65e9b46e2..d38e69a14 100644 --- a/jenkinsfile +++ b/jenkinsfile @@ -29,7 +29,7 @@ pipeline { bat "git config --global core.ignorecase true" bat "git add ." bat 'git commit -m "Main build (Jenkins)"' - bat "git push" + bat "git push origin HEAD:main" }