edit git_branch

Jack Yuan · Jack Yuan · commit a99d1f87985d · 2021-05-18T01:19:28.000-05:00
diff --git a/github-action-build.sh b/github-action-build.sh
@@ -143,7 +143,7 @@ EOL
 
 	# Run the build.
 	BUILD_ARGS='-B -Djdk.tls.client.protocols="TLSv1,TLSv1.1,TLSv1.2"'
-	# git_branch=${git_branch##*/} # extract branch name
+	git_branch=${git_branch##*/} # extract branch name
 	if [ "$deployOK" -a "${git_branch}" = master ]; then
 		echo
 		echo "== Building and deploying master SNAPSHOT =="
