Add the git push

This commit is contained in:
Endolf 2018-05-25 20:59:46 +01:00
parent 99debb71a0
commit a4c7d312d2

1
Jenkinsfile vendored
View file

@ -135,6 +135,7 @@ pipeline {
sh "mvn -P windows,linux,osx,wintab -Dmaven.antrun.skip -Dmaven.test.skip -DskipTests -DskipITs deploy"
sh "mvn -P windows,linux,osx,wintab,release versions:set -DnextSnapshot"
sh "git commit -m 'Next development release' ."
sh "git push"
}
}
}