Nota: en lo posible NO usar el merge de GitHub

Mejor sincronizar antes y luego hacer commit.