1 files changed, 10 insertions, 2 deletions
diff --git a/Jenkinsfile b/Jenkinsfile
index a169b8f2c..6ea34f372 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -88,8 +88,16 @@ pipeline {
             steps {
                 script {
                     dir('build') {
-                        git branch: getGitBranchName(),
-                            url: getGitRepoURL()
+                        scm {
+                            git {
+                                remote {
+                                    name(getGitRepoName())
+                                    url(getGitRepoURL())
+                                    refspec('+refs/pull/*:refs/remotes/origin/pr/*')
+                                }
+                                branch('${sha1}')
+                            }
+                        }
                     }
                 }
             }