Satya Nadella's Microsoft is adding Amazon Web Services capacity to keep GitHub running after an AI driven surge in coding activity strained the platform, Business Insider reported Tuesday, citing two people familiar with the plans. The arrangement cuts against the neat version of the GitHub acquisition story Microsoft sold in 2018: buy the developer platform, fold its infrastructure toward Azure, and make Microsoft's cloud the default substrate for the world's software work. Instead, GitHub'...