Developers aren’t what scaled commits/pushes are they claim it went from ~1 billion a year to doing more than that a month
A 12x increase in volume should not be world ending for Microsoft given that the number of developers in the world is a pretty small baseline number to start from.