diff options
| author | Mike McQuaid | 2017-03-23 09:51:41 +0000 |
|---|---|---|
| committer | GitHub | 2017-03-23 09:51:41 +0000 |
| commit | 53bcec7679edab4df0b355dfbbef85175da9e75f (patch) | |
| tree | e089cfa9c5bbc575e5c547739d028c6c9ae0ae5f /Library/Homebrew/utils/github.rb | |
| parent | 08a22d013e9ba44aa7c4ed4d08bb2fd6aebf7c05 (diff) | |
| parent | 35a4836dc363a69f19fa202deef6ae7a9a2b4440 (diff) | |
| download | brew-53bcec7679edab4df0b355dfbbef85175da9e75f.tar.bz2 | |
Merge pull request #2377 from zmwangx/warn-on-slow-missing-formula-search
missing_formula: warn when git-log takes very long
Diffstat (limited to 'Library/Homebrew/utils/github.rb')
| -rw-r--r-- | Library/Homebrew/utils/github.rb | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/Library/Homebrew/utils/github.rb b/Library/Homebrew/utils/github.rb index 5f961974c..a5ed5394a 100644 --- a/Library/Homebrew/utils/github.rb +++ b/Library/Homebrew/utils/github.rb @@ -268,7 +268,6 @@ module GitHub def print_pull_requests_matching(query) return [] if ENV["HOMEBREW_NO_GITHUB_API"] - ohai "Searching pull requests..." open_or_closed_prs = issues_matching(query, type: "pr") |