Skip to content

Conversation

chenrui333
Copy link
Contributor

Closes wagoodman/dive#97

Homebrew PR, Homebrew/homebrew-core#42492
README update PR, wagoodman/dive#213

@chenrui333
Copy link
Contributor Author

@wagoodman We might still need this to redirect the traffic to homebrew-core :)

@chenrui333
Copy link
Contributor Author

@wagoodman ping :)

@wagoodman wagoodman merged commit f078e28 into wagoodman:master Dec 17, 2019
@wagoodman
Copy link
Owner

thanks for your patience @chenrui333 , this may have slid off my radar 😳

@chenrui333
Copy link
Contributor Author

No worries, thanks for the merge.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Graduate to central homebrew repository
2 participants