Теперь официально: Microsoft заплатила $7,5 млрд за Github