git remote add origin <url servidor remoto>:
De esta forma enlazamos el repositorio remoto de GitHub de forma local. Genera un enlace llamado origin/main que será el enlace en ramas del servidor remoto y nuestro dispositivoConfigurar entorno de desarrollo Git - GitHub
En caso de haber establecido una conexión inicial a través de HTTPS. Ya se habrá generado una url de origen remoto
Si se utiliza el comando de añadir origen remoto que esta en la página indicada arriba, no será posible añadir la nueva url. Para ello usamos:
git remote set-url origin <url SSH>
git remote:
Nos da el nombre del repositorio remoto. Es decir, origingit remote -v:
Nos da el nombre con las opciones de fetch y push, es decir que está habilitadogit clone <url_del_servidor_remoto>
: Nos permite descargar los archivos de la última versión de la rama principal y todo el historial de cambios en la carpeta .git
.git pull origin main
: Básicamente, git fetch
y git merge
al mismo tiempo. Con este comando traemos la información del repositorio remoto al entorno local, específicamente, a la rama main
git pull origin main -—allow-unrelated-histories:
En caso de que ejecutando el comando de arriba existan problemas al haber historias no relacionadas, que es lo mas normal. Este comando resuelve el conflicto de historias no relacionadas entre ambos repositorios. Creando un merge entre lo que hay en el servidor y en nuestro dispositivogit push origin main
: Luego de hacer git add
y git commit
debemos ejecutar este comando para mandar los cambios al servidor remoto.git fetch
: Lo usamos para traer actualizaciones del servidor remoto y guardarlas en nuestro repositorio local (en caso de que hayan, por supuesto).git merge
: También usamos el comando git merge
con servidores remotos. Lo necesitamos para combinar los últimos cambios del servidor remoto y nuestro directorio de trabajo.