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/livegr

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 https://github.com/livegrep/livegrep