Buscar los ficheros eliminados en un repositorio git

Para buscar los ficheros que han sido eliminados en un determinado repositorio podemos utiliza el siguiente commando Si lo que queremos es tener información más concreta sobre el commit, el usuario y la fecha del borrado, podemos utilizar quitar el grep. Si queremos buscar el nombre concreto de un fichero eliminado podremos complementarlo con el…

Git push por defecto

Cuando creamos una nueva rama con nuestro sistema de versiones favorito. La primera vez que subimos una rama nos pregunta si queremos relacionarla por defecto con la que se encuentra en el servidor. Para hacer que no nos pregunte cada vez que subamos una rama deveremos ejecutar el siguiente comando en la terminal.

Ejercicio Introduccion a git

Git es un sistema de repositorios distribuido. Cada vez es más usado para el despliegue de aplicaciones. Requisitos previos: cuenta de correo electrónico tener instalado git Paso 1 crear una cuenta en gitlab. Entramos en git lab. Hacemos click sobre register y seguimos los pasos. Importante: confirmar los pasos con el email. Paso 2: crear…