diff options
| author | Mike McQuaid | 2014-10-16 22:06:46 +0100 |
|---|---|---|
| committer | Mike McQuaid | 2014-10-16 22:06:46 +0100 |
| commit | f82efb9d76dba33c560e2ddbbb3056ab24acddee (patch) | |
| tree | a274ad5e6a814ce6b87da8de65fb17f5f186c9f2 /Library | |
| parent | 358fd0ca19ea65e82577a1ff58f51793a9e9b56f (diff) | |
| download | brew-f82efb9d76dba33c560e2ddbbb3056ab24acddee.tar.bz2 | |
brew-test-bot: fix pull request URLs.
Diffstat (limited to 'Library')
| -rw-r--r-- | Library/Homebrew/cmd/test-bot.rb | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/Library/Homebrew/cmd/test-bot.rb b/Library/Homebrew/cmd/test-bot.rb index f2d28a21e..6ad6cd1f6 100644 --- a/Library/Homebrew/cmd/test-bot.rb +++ b/Library/Homebrew/cmd/test-bot.rb @@ -233,7 +233,10 @@ module Homebrew end # Handle Jenkins pull request builder plugin. - @url = ENV['ghprbPullLink'] if ENV['ghprbPullLink'] + if ENV['ghprbPullLink'] + @url = ENV['ghprbPullLink'] + @hash = nil + end if no_args? if diff_start_sha1 == diff_end_sha1 or \ |