Repositories like brew.git are pure git repositories, and hiding them inconveniences our users. We may need to fold the git repos instead of hiding them. I unhide them for now, and a follow-up PR is welcome.
This reverts commit 02aa69122b10ea3d8a8a278812b5be7384ea9144.
Repositories like
brew.gitare pure git repositories, and hiding them inconveniences our users. We may need to fold the git repos instead of hiding them. I unhide them for now, and a follow-up PR is welcome.This reverts commit 02aa69122b10ea3d8a8a278812b5be7384ea9144.