Skip to main content
Tipo de búsqueda Sintaxis de búsqueda
Etiquetas [etiqueta]
Exacto "escribir palabras aquí"
Autor user:1234
user:me (tuyas)
Puntuación score:3 (3+)
score:0 (ninguna)
Respuestas answers:3 (3+)
answers:0 (ninguna)
isaccepted:yes
hasaccepted:no
inquestion:1234
Vistas views:250
Código code:"if (foo != bar)"
Secciones title:manzanas
body:"peras manzanas"
URL url:"*.example.com"
Guardados in:saves
Estado closed:yes
duplicate:no
migrated:no
wiki:no
Tipos is:question
is:answer
Excluir -[etiqueta]
-manzanas
Visita nuestra página de ayuda para obtener más información sobre la búsqueda avanzada
Resultados etiquetados con
Opciones de búsqueda: not deleted user 38539

Git es un sistema de control de versiones distribuido, gratuito y de código abierto.

1 voto

¿Cómo recuperar archivos eliminados localmente tras clonar con git pull?

Con git pull no se puede recuperar un fichero que hayas borrado. Así que te queda esta opción (sin contar el Si mal no recuerdo era el siguiente comando: git checkout HEAD^ ruta_fichero …
Avatar del usuario AntonioM
  • 210