Storia: Microsoft's GitHub chief is leaving as competition ramps up in AI coding market — Warptech News