#1389 - Polishing.

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 {

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 <tag>
-% git push -f origin release
+% git push -f origin release-1.2
 ----
 
 NOTE: You can chain the previous set of commands together using `&&`.