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}" +