diff --git a/Jenkinsfile b/Jenkinsfile index cc6654f..0887d37 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -75,6 +75,7 @@ ], inLabels: [ 'ubuntu-16', 'centos-7' ], onLabels: [ default: 'master', docker: 'docker', mac: 'mac', android: 'android', ], + cronPoll: '@hourly', // Fallback only if post-commit failed noPoll: "(.+_.+)", // Don't poll or automatically trigger private branches ) @@ -184,10 +185,9 @@ gitCommit("Update version to ${nextVersion}", 'version.txt') // Uncomment the following to merge version bump back into the working branch //gitMerge(releaseBranch, workingBranch) - //gitPush(remote, workingBranch) - // Publish changes in release branch and tag the release - gitPush(remote, releaseBranch) - gitTag("${nextVersion}", remote) + // Tag and publish changes in release branch + gitTag("${nextVersion}") + gitPush(remote, "${releaseBranch} ${nextVersion}") }) }, // Can not be done in parallel