next try of handmade git publisher

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',