Added tag pushing.

This commit is contained in:
Harrison Deng 2022-01-09 01:07:17 -06:00
parent 8087199def
commit 37b2e6a2c8

1
Jenkinsfile vendored
View File

@ -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'
}
}
}