Ask questionsmonitoring for how many repos are indexed/nonindexed missing
Answer questions bobheadxi
I'd like to take a stab at this, but it looks like this has changed since the issue was opened - the linked file no longer exists, and it seems to have been moved here, and it seems it no longer deals with indexed/unindexed repos explicitly like it was in https://github.com/sourcegraph/sourcegraph/pull/4188
Trying to find where we might regularly access the number of indexed repos I followed it down to here - it seems you worked on this a while back @keegancsmith , do you mind giving me a bit more context / some pointers on this? Thanks!