Cómo migrar un repositorio git

Receta simple para migrar un repositorio git de un servidor a otro.

Clonar el repositorio

Lo primero es clonar el repositorio en modo espejo (de este modo se podrán obtener todas las ramas automáticamente, en lugar de sólo la rama master):

git clone --mirror https://viejo-servidor.com/repositorio.git

Añadir nuevo remoto

Podemos comprobar el remoto actual (origin) con:

git remote -v

Lo primero es añadir un remoto (también puede reemplazarse si se prefiere):

git remote add nuevo_remoto https://nuevo-servidor.com/repositorio.git

Subir los cambios

Simplemente hacemos push de todas las ramas (–all) y luego de todas las etiquetas (–tags):

git push -u nuevo_remoto --all
git push -u nuevo_remoto --tags

Proxy

Si tu red está detrás de un proxy, puedes configurarlo así:

git config --global http.proxy http://proxy:puerto
git config --global https.proxy http://proxy:puerto

Deja un comentario

Este sitio usa Akismet para reducir el spam. Aprende cómo se procesan los datos de tus comentarios.