I think the rational for buying it was they were the single largest user of it, and were concerned about funding stability. Does anyone have the numbers before

I think the rational for buying it was they were the single largest user of it, and were concerned about funding stability. Does anyone have the numbers before they bought github, I saw them once, don't remember the values, just remember being shocked at what percentage of the total github code base was Microsoft. I had no idea they were using it at all.