From fa5447f6c9850756cb7e1acb499fd60b749dfcaa Mon Sep 17 00:00:00 2001
From: Christian Poessinger <christian@poessinger.com>
Date: Thu, 12 Dec 2019 20:30:34 +0100
Subject: Jenkins: T1870: fetch pull request refs from GitHub

---
 Jenkinsfile | 10 ++++++++--
 1 file 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()]]
+                        ])
                     }
                 }
             }
-- 
cgit v1.2.3