Merge pull request #3747 from MikeMcQuaid/no-tap-deprecated

tap: don’t tap deprecated taps.
This commit is contained in:
Mike McQuaid 2018-01-30 09:55:08 -08:00 committed by GitHub
commit 701ecb4975
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -211,7 +211,7 @@ class Tap
requested_remote = options[:clone_target] || default_remote
if official? && DEPRECATED_OFFICIAL_TAPS.include?(repo)
opoo "#{name} was deprecated. This tap is now empty as all its formulae were migrated."
odie "#{name} was deprecated. This tap is now empty as all its formulae were migrated."
end
if installed?