Microsoft embraces open-source Git for development tools