Qué es GitHub y para qué sirve: Control de versiones y desarrolladores