If it grew big enough, I would imagine GitHub would remove it on copyright grounds.<p>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.