微软因AI需求激增,借助亚马逊为GitHub扩容