summaryrefslogtreecommitdiff
path: root/Jenkinsfile
diff options
context:
space:
mode:
Diffstat (limited to 'Jenkinsfile')
-rw-r--r--Jenkinsfile6
1 files changed, 1 insertions, 5 deletions
diff --git a/Jenkinsfile b/Jenkinsfile
index d5be6d5c9..b070bd939 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -94,11 +94,7 @@ pipeline {
doGenerateSubmoduleConfigurations: false,
extensions: [[$class: 'CleanCheckout']],
submoduleCfg: [],
- userRemoteConfigs: [[
- refspec: '+refs/pull/*/head' +
- ':refs/remotes/origin/*',
- url: getGitRepoURL()
- ]]
+ userRemoteConfigs: [[refspec: "+refs/pull/*/head:refs/remotes/origin/PR-* +refs/heads/*:refs/remotes/origin/*", url: getGitRepoURL()]]
])
}
}