diff --git a/jenkins/maps-server-release.jenkinsfile b/jenkins/maps-server-release.jenkinsfile index 6804bb9..f5c0f89 100644 --- a/jenkins/maps-server-release.jenkinsfile +++ b/jenkins/maps-server-release.jenkinsfile @@ -68,6 +68,9 @@ pipeline { currentBuild.description = """User/Timer: ${ref_url}""" } + echo("Git checkout ${REPO_URL} on ${ref_final} for maps-server release") + checkout([$class: 'GitSCM', branches: [[name: "${ref_final}" ]], userRemoteConfigs: [[url: "${REPO_URL}"]]]) + def MAPS_PRODUCT = "opensearch-maps-server" def MAPS_VERSION = sh ( script: "cat ${MAPS_PRODUCT}/package.json | grep version | cut -d: -f2 | grep -Eo '[0-9.]+'",