Por otro lado, detalló que este lunes (29 de octubre) fue su primer día como director ejecutivo de GitHub.