diff options
| author | Peter Aronoff | 2015-06-02 17:27:05 -0400 |
|---|---|---|
| committer | Mike McQuaid | 2015-06-05 21:54:12 +0100 |
| commit | 965e2f50c3e8490ffb799ed01d6b1e8b1a7c98cc (patch) | |
| tree | 01a8188d57c63a81c60b72fe1eb4580402f85526 /share | |
| parent | d87f9d4359f4a6132504f3923cc4c71cdb86e8de (diff) | |
| download | brew-965e2f50c3e8490ffb799ed01d6b1e8b1a7c98cc.tar.bz2 | |
brew tap: allow tapping non-GitHub repositories.
`brew tap` restricts users to GitHub and checks for private repos. I
created `brew any-tap` to support a wider variety of taps.
With very small changes (and no extra flags!), this change allows users
to use `brew tap` with GitHub as they always have or add one extra
argument and tap any repository of any type from anywhere.
brew tap user/name # Same as it ever was
brew tap user/name URL # Tap URL, whatever it happens to be
Closes Homebrew/homebrew#40326.
Signed-off-by: Mike McQuaid <mike@mikemcquaid.com>
Diffstat (limited to 'share')
0 files changed, 0 insertions, 0 deletions
