diff options
| -rw-r--r-- | Jenkinsfile | 22 |
1 files changed, 10 insertions, 12 deletions
diff --git a/Jenkinsfile b/Jenkinsfile index d5be6d5c9..67787f659 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -88,18 +88,16 @@ pipeline { steps { script { dir('build') { - checkout([ - $class: 'GitSCM', - branches: [[name: getGitBranchName()]], - doGenerateSubmoduleConfigurations: false, - extensions: [[$class: 'CleanCheckout']], - submoduleCfg: [], - userRemoteConfigs: [[ - refspec: '+refs/pull/*/head' + - ':refs/remotes/origin/*', - url: getGitRepoURL() - ]] - ]) + scm { + git { + remote { + name(getGitRepoName()) + url(getGitRepoURL()) + refspec('+refs/pull/*:refs/remotes/origin/pr/*') + } + branch('${sha1}') + } + } } } } |