Microsoft turns to AWS as GitHub faces AI capacity crunch