From 1f810cbd0abd8bb5c9c7a499a253b0c2ddd36b70 Mon Sep 17 00:00:00 2001
From: Christian Poessinger <christian@poessinger.com>
Date: Thu, 12 Dec 2019 20:52:48 +0100
Subject: Jenkins: T1870: adjust branch pointer

---
 Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 3dee31718..b070bd939 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -94,7 +94,7 @@ pipeline {
                             doGenerateSubmoduleConfigurations: false,
                             extensions: [[$class: 'CleanCheckout']],
                             submoduleCfg: [],
-                            userRemoteConfigs: [[refspec: "+refs/pull/*:refs/remotes/origin/* +refs/heads/*:refs/remotes/origin/*", url: getGitRepoURL()]]
+                            userRemoteConfigs: [[refspec: "+refs/pull/*/head:refs/remotes/origin/PR-* +refs/heads/*:refs/remotes/origin/*", url: getGitRepoURL()]]
                         ])
                     }
                 }
-- 
cgit v1.2.3