diff options
| author | Mike McQuaid | 2017-03-26 20:28:11 +0100 |
|---|---|---|
| committer | Mike McQuaid | 2017-03-26 20:28:11 +0100 |
| commit | 677db79c292f8e00662656e14f9c983230aff07a (patch) | |
| tree | 5b39df04a8cb9d1057c1e745f6fbcd21eb7b59ae /Library/Homebrew/dev-cmd/pull.rb | |
| parent | a34f7277deda844a680f7c4726e46fd9c1bc8bbf (diff) | |
| download | brew-677db79c292f8e00662656e14f9c983230aff07a.tar.bz2 | |
diagnostic: check homebrew/core git remote.
Check the remote for homebrew/core as well as homebrew/brew as we've
seen a few cases (e.g. #2387) where it was misconfigured.
While we're here, tweak the messaging to tell people what to do and how
to do so with a single command.
Diffstat (limited to 'Library/Homebrew/dev-cmd/pull.rb')
0 files changed, 0 insertions, 0 deletions