diff --git a/Jenkinsfile b/Jenkinsfile index 070e9c6..b14ab45 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -36,6 +36,7 @@ pipeline { sh 'git commit -am "Automatically merged delta branch to master." || exit 0' sshagent(['2e60e630-b240-4c78-87ce-cb2c33d70180']) { sh 'git push origin master' + sh 'git push origin --tags' } } }