Microsoft is resorting to its biggest cloud rival to deal with GitHub AI capacity issues