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
1 file changed