diff options
| -rw-r--r-- | Jenkinsfile | 10 |
1 files changed, 2 insertions, 8 deletions
diff --git a/Jenkinsfile b/Jenkinsfile index 3dee31718..7b6dc49e3 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -88,14 +88,8 @@ pipeline { steps { script { dir('build') { - checkout([ - $class: 'GitSCM', - branches: [[name: getGitBranchName()]], - doGenerateSubmoduleConfigurations: false, - extensions: [[$class: 'CleanCheckout']], - submoduleCfg: [], - userRemoteConfigs: [[refspec: "+refs/pull/*:refs/remotes/origin/* +refs/heads/*:refs/remotes/origin/*", url: getGitRepoURL()]] - ]) + git branch: getGitBranchName(), + url: getGitRepoURL() } } } |