Right now we are indexing about 5,000 repos. We'll probably stop at 50,000 since we index an order of a magnitude more than GitHub does per repo. Our objectiv

Right now we are indexing about 5,000 repos. We'll probably stop at 50,000 since we index an order of a magnitude more than GitHub does per repo. Our objective isn't really to index as many repos as possible, but rather we are focused on making it insanely easy for others to index what ever repos they want.