diff options
author | Christian Poessinger <christian@poessinger.com> | 2019-12-12 20:30:34 +0100 |
---|---|---|
committer | Christian Poessinger <christian@poessinger.com> | 2019-12-12 20:36:56 +0100 |
commit | fa5447f6c9850756cb7e1acb499fd60b749dfcaa (patch) | |
tree | 6029b5fb8c417e9178a2aa49dde2d23f3e439a50 /Jenkinsfile | |
parent | e23bd0aa33d44cb65fe7951404b385546fab92a5 (diff) | |
download | vyos-1x-fa5447f6c9850756cb7e1acb499fd60b749dfcaa.tar.gz vyos-1x-fa5447f6c9850756cb7e1acb499fd60b749dfcaa.zip |
Jenkins: T1870: fetch pull request refs from GitHub
Diffstat (limited to 'Jenkinsfile')
-rw-r--r-- | Jenkinsfile | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/Jenkinsfile b/Jenkinsfile index 7b6dc49e3..3dee31718 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -88,8 +88,14 @@ pipeline { steps { script { dir('build') { - git branch: getGitBranchName(), - url: getGitRepoURL() + 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()]] + ]) } } } |