summaryrefslogtreecommitdiff
path: root/Jenkinsfile
diff options
context:
space:
mode:
authorChristian Poessinger <christian@poessinger.com>2019-12-12 20:30:34 +0100
committerChristian Poessinger <christian@poessinger.com>2019-12-12 20:36:56 +0100
commitfa5447f6c9850756cb7e1acb499fd60b749dfcaa (patch)
tree6029b5fb8c417e9178a2aa49dde2d23f3e439a50 /Jenkinsfile
parente23bd0aa33d44cb65fe7951404b385546fab92a5 (diff)
downloadvyos-1x-fa5447f6c9850756cb7e1acb499fd60b749dfcaa.tar.gz
vyos-1x-fa5447f6c9850756cb7e1acb499fd60b749dfcaa.zip
Jenkins: T1870: fetch pull request refs from GitHub
Diffstat (limited to 'Jenkinsfile')
-rw-r--r--Jenkinsfile10
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()]]
+ ])
}
}
}