Diego López 3 feb 2020, 19:28 Me da vergüenza decirlo, pero hasta hace poco no sabía la diferencia entre git pull y git fetch