From 66cefb7be6cd30f026beddcc90637436262ee372 Mon Sep 17 00:00:00 2001 From: Mike McQuaid Date: Sat, 15 Jun 2013 10:44:08 +0100 Subject: [PATCH] brew-test-bot: handle Jenkins pull request plugin. --- Library/Contributions/cmd/brew-test-bot.rb | 11 +++++++++++ 1 file changed, 11 insertions(+) diff --git a/Library/Contributions/cmd/brew-test-bot.rb b/Library/Contributions/cmd/brew-test-bot.rb index 7d9538bce4..8a9289aac7 100755 --- a/Library/Contributions/cmd/brew-test-bot.rb +++ b/Library/Contributions/cmd/brew-test-bot.rb @@ -162,6 +162,17 @@ class Test diff_end_sha1 = current_sha1 end + # Handle Jenkins pull request builder plugin. + if ENV['ghprbPullId'] and ENV['GIT_URL'] + git_url = ENV['GIT_URL'] + git_match = git_url.match %r{.*github.com[:/](\w+/\w+).*} + if git_match + github_repo = git_match[1] + pull_id = ENV['ghprbPullId'] + @url = "https://github.com/#{github_repo}/pull/#{pull_id}" + end + end + if @hash == 'HEAD' if diff_start_sha1 == diff_end_sha1 or \ single_commit?(diff_start_sha1, diff_end_sha1)