diff --git a/jobs/Jenkinsfile_UpdateSrcRevisions b/jobs/Jenkinsfile_UpdateSrcRevisions index c5d68e2..423bc7b 100644 --- a/jobs/Jenkinsfile_UpdateSrcRevisions +++ b/jobs/Jenkinsfile_UpdateSrcRevisions @@ -158,13 +158,13 @@ def commitAndPushTheChanges(commonHelpers, repoDir, origBranch) { // active directory. sh(label: "Commit and push changes", returnStdout: true, script: """ git config --global user.email "marc.mattmueller@netmodule.com" - git config --global user.name "Marc Mattmueller" + git config --global user.name "Marc Mattm\u00fcller" git commit -m "${commitMsg}" - git push -u origin ${theNewBranch} + git push -u origin ${nightlyBranch} """) } - createPR("${nightlyBranch}") usedBranch = "${nightlyBranch}" + createPR("${nightlyBranch}") } } // if changes available }