[clutch_coder99]

Damn that's alot. I'm wondering how many engineers handled all that?

[dgellow]

I cannot share much details, but one thing: livegrep had no issues handling that many repos! That project is such a blessing

https://github.com/livegrep/livegrep