> I distinctly remember having conversations about Github struggling to scale well before MS was involved

Do you have any sources to back your claim up? At what point did Github fail to scale their search endpoints?

> This may be correct

It is.