diff --git a/Jenkinsfile b/Jenkinsfile index 12e22c4..ffc226c 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -60,15 +60,17 @@ pipeline { success { - if ( (env.BRANCH_NAME).startsWith('pr-') ) { + script { + if ((env.BRANCH_NAME).startsWith('pr-')) { // git url: "git@gogs.informatik.hs-fulda.de:SteffenN/Multi-Chess.git", // credentialsId: 'jenkins_ssh_key', // branch: (env.BRANCH_NAME) - sh "git merge '${env.BRANCH_NAME}'" - sh "git commit -am 'Merged ${env.BRANCH_NAME} branch to master'" - sh "git push origin master" + sh "git merge '${env.BRANCH_NAME}'" + sh "git commit -am 'Merged ${env.BRANCH_NAME} branch to master'" + sh "git push origin master" + } } office365ConnectorSend color: 'good',