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