diff options
| author | Mike McQuaid | 2017-08-26 14:44:26 +0100 |
|---|---|---|
| committer | Mike McQuaid | 2017-08-26 14:44:26 +0100 |
| commit | cb5b14307ca4640e1ba68cfd28e7fef34a3b771b (patch) | |
| tree | 6fa6e636538f0043f32190d4d90f2757825bdf05 /Library | |
| parent | 4d90ae2f4db3ca2931b178164c822a10d519f4f8 (diff) | |
| download | brew-cb5b14307ca4640e1ba68cfd28e7fef34a3b771b.tar.bz2 | |
diagnostic: don't check CI core branch.
Diffstat (limited to 'Library')
| -rw-r--r-- | Library/Homebrew/diagnostic.rb | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Library/Homebrew/diagnostic.rb b/Library/Homebrew/diagnostic.rb index 8108c5da0..3d3c5e5dc 100644 --- a/Library/Homebrew/diagnostic.rb +++ b/Library/Homebrew/diagnostic.rb @@ -786,6 +786,7 @@ module Homebrew EOS end + return if ENV["CI"] head = coretap_path.git_head return if head.nil? || head =~ %r{refs/heads/master} |