From de2716ae67a8d88886686fbd7e8db33b6e1a5ebd Mon Sep 17 00:00:00 2001
From: Christian Poessinger <christian@poessinger.com>
Date: Thu, 12 Dec 2019 21:04:21 +0100
Subject: Jenkins: T1870: add 'PR-' prefix to pull request refspec

---
 Jenkinsfile | 22 ++++++++++------------
 1 file changed, 10 insertions(+), 12 deletions(-)

(limited to 'Jenkinsfile')

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}')
+                            }
+                        }
                     }
                 }
             }
-- 
cgit v1.2.3