Microsoft bought GitHub for $7.5 billion in 2018 to compete with AWS. This year it started renting AWS servers to keep GitHub online. That's the backdrop for what Cursor just shipped. GitHub hosted 1 billion commits in all of 2025. It's on pace for 14 billion in 2026. Claude Code alone pushes roughly 135,000 public commits a day. GitHub planned a 10x capacity expansion in October, then concluded by February it actually needed 30x. It logged 257 outages in a year, including the…