admin/brew
1
0
Fork 0
Code Issues Packages Projects Releases 6 Wiki Activity

brew-test-bot: handle Jenkins pull request plugin.

Browse Source
This commit is contained in:
Mike McQuaid 2013-06-15 10:44:08 +01:00
parent 731d4016f7
commit 66cefb7be6
1 changed files with 11 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
Library/Contributions/cmd/brew-test-bot.rb
View File

@ -162,6 +162,17 @@ class Test
diff_end_sha1 = current_sha1 diff_end_sha1 = current_sha1
end 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 @hash == 'HEAD'
if diff_start_sha1 == diff_end_sha1 or \ if diff_start_sha1 == diff_end_sha1 or \
single_commit?(diff_start_sha1, diff_end_sha1) single_commit?(diff_start_sha1, diff_end_sha1)