From ad36f73674921d0e7e03b80212a3d68fdc7c04b5 Mon Sep 17 00:00:00 2001 From: "Greg L. Turnquist" Date: Thu, 29 Oct 2020 11:31:02 -0500 Subject: [PATCH] #1389 - Polishing. --- Jenkinsfile | 8 ++++---- README.adoc | 4 ++-- 2 files changed, 6 insertions(+), 6 deletions(-) diff --git a/Jenkinsfile b/Jenkinsfile index d5fdedaa..dc847308 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -171,8 +171,8 @@ pipeline { stage('Release documentation') { when { anyOf { - branch 'master' - branch 'release' + branch '1.2.x' + branch 'release-1.2' } } agent { @@ -200,7 +200,7 @@ pipeline { } stage('Promote to Bintray') { when { - branch 'release' + branch 'release-1.2' } agent { docker { @@ -237,7 +237,7 @@ pipeline { } stage('Sync to Maven Central') { when { - branch 'release' + branch 'release-1.2' } agent { docker { diff --git a/README.adoc b/README.adoc index 1a3e765e..e8e1fa74 100644 --- a/README.adoc +++ b/README.adoc @@ -32,9 +32,9 @@ git config core.commentchar "/" 2. With the release tagged, push the tagged version to the release branch. + ---- -% git checkout -b release +% git checkout -b release-1.2 % git reset --hard -% git push -f origin release +% git push -f origin release-1.2 ---- NOTE: You can chain the previous set of commands together using `&&`.