Jenkinsfile: Also push release commits to stable branch.
This will make it easier to follow the history when checking out the
stable branch.
* Jenkinsfile: Push both tags and commits when publishing to the
stable channel.
Change-Id: Idb7b9485b80c9599cf0e5e5f81b8573b69dba652
diff --git a/Jenkinsfile b/Jenkinsfile
index 066f654..2fb1d47 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -180,7 +180,7 @@
script {
if (params.CHANNEL == 'stable') {
// Only stables releases get tarballs and a tag.
- sh 'git push --tags'
+ sh 'git push --follow-tags'
echo "Publishing release tarball..."
sh 'rsync --verbose jami*.tar.gz ' +
"${REMOTE_HOST}:${REMOTE_BASE_DIR}" +