If it grew big enough, I would imagine GitHub would remove it on copyright grounds.
Although it does seem like a good idea, you could also develop a simple search front end, allowing people to simple clone to repo, host a simple php search page to search the repo.
2 comments
[ 2.8 ms ] story [ 14.6 ms ] threadAlthough it does seem like a good idea, you could also develop a simple search front end, allowing people to simple clone to repo, host a simple php search page to search the repo.