Dimite el CEO de GitHub, y la matriz, Microsoft, reparte sus funciones entre varios ejecutivos