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 93864

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

0 votos
1 respuesta
1k vistas

Deshacer commits pendientes con GIT [duplicada]

estoy usando GIT en un proyecto realice un commit por error y quiero deshacerlo ¿Qué comando tengo que usar? Gracias! …
Avatar del usuario DjEmilio84
0 votos
1 respuesta
131 vistas

Subir un archivo al repositorio git pero que luego lo ignore

Quiero subir un proyecto a github en el hay un archivo llamado config.php quiero subirlo al repositorio pero una vez que este en la rama principal incluir este archivo en el gitignore para no modifica …
Avatar del usuario DjEmilio84
0 votos
1 respuesta
2k vistas

Error al hacer pull que contiene un archivo modificado por mi en local

Con Github Desktop intento hacer un pull, pero ese pull contiene un archivo que yo he modificado en mi ordenador, al intentar hacer el pull me salta el error siguiente, quería saber que ocurre si elij …
Avatar del usuario DjEmilio84