diff --git a/Jenkinsfile b/Jenkinsfile index c880235..58cbfac 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -91,8 +91,14 @@ pipeline { git config user.name "Jenkins Server" git config user.email jenkins@confdroid.com git rm -r --cached .vscode || echo "No .vscode to remove from git" + git commit --amend --no-edit --allow-empty git add -A && git commit -am "Recommit for updates in build $BUILD_NUMBER" || echo "No changes to commit" - git push origin HEAD:master + git push -o merge_request.create \ + -o merge_request.target=master \ + -o merge_request.title="Auto-merge for build $BUILD_NUMBER" \ + -o merge_request.description="Automated changes from Jenkins build $BUILD_NUMBER" \ + -o merge_request.merge_when_pipeline_succeeds=true \ + origin jenkins-build-$BUILD_NUMBER ''' } }