Skip to content
This repository has been archived by the owner on Jul 4, 2023. It is now read-only.

tap by specifying clone_url directly #12383

Closed
wants to merge 1 commit into from
Closed

tap by specifying clone_url directly #12383

wants to merge 1 commit into from

Conversation

sorah
Copy link

@sorah sorah commented May 23, 2012

this patch makes brew tap can clone repository not hosted by GitHub.

I know some formulas that can't be in public, but needed to be shared with others.
So, I wanted to tap a repository not hosted by GitHub.

Usage

$ brew tap user@host:path/to/repo.git
$ brew tap git://host/path/to/repo.git
$ brew tap http://host/path/to/repo.git

$ brew untap repo

@mrkn
Copy link
Contributor

mrkn commented May 23, 2012

+1

@jacknagel
Copy link
Contributor

This is a dupe of #11695

@sorah
Copy link
Author

sorah commented May 30, 2012

oh. I believe this patch or #11695 to be merged into master :)

thoughts?

@adamv
Copy link
Contributor

adamv commented Jan 1, 2013

This will need to be rebased on top of the current Homebrew code base for review. Closing, though; please open an updated implementation as a new pull request.

@adamv adamv closed this Jan 1, 2013
@Homebrew Homebrew locked and limited conversation to collaborators Feb 16, 2016
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

4 participants