diff options
Diffstat (limited to 'jenkins')
| -rw-r--r-- | jenkins/create_jobs.groovy | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/jenkins/create_jobs.groovy b/jenkins/create_jobs.groovy index ccaa795029..a0a8df5805 100644 --- a/jenkins/create_jobs.groovy +++ b/jenkins/create_jobs.groovy @@ -276,10 +276,12 @@ poijobs.each { poijob -> if (poijob.githubpr) { parameters { + /* plugin not available: gitParam('sha1') { description('Pull request') type('BRANCH') - } + }*/ + stringParam('sha1', 'origin/pr/9/head', 'Provide a branch-spec, e.g. origin/pr/9/head') } triggers { githubPullRequest { |