¿Cómo puedo recuperar archivos que 'accidentalmente' haya borrado en mi PC local?
Me explico:
- Hacemos un
git clone
de un repo remoto. Tras esto, tenemos una copia de este repositorio en nuestro local. - Accidentalmente borramos varios archivos de este repositorio local. De esta manera el repositorio remoto seguirá teniendo toda la información.
- Intentamos hacer un pull (
git pull origin master
) para volver a tener en nuestro repositorio local todo lo que hay en el remoto. - El comando
git pull
no da ningún error, pero en nuestro repositorio local siguen faltando aquellos archivos que borramos por accidente.
¿Cómo podemos recuperar esos archivos borrados?
Sé que una opción sería volver a realizar un git clone
y santas pascuas, pero sé que debe haber una manera menos engorrosa de conseguirlo.