try different merging approach

This commit is contained in:
Arne Teuke
2025-05-19 16:16:32 +02:00
parent 47aad52885
commit 0ef706eb06

2
Jenkinsfile vendored
View File

@@ -82,7 +82,7 @@ pipeline {
echo `git add -A && git commit -am "recommit for updates in build $BUILD_NUMBER"`
git checkout master
git merge jenkins
git push -u origin master'''
git push origin master'''
}
}
}