Bloomberg: Microsoft купила сервис для разработчиков GitHub