diff options
| -rw-r--r-- | Jenkinsfile | 6 |
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() + ]] ]) } } |