git: migrar repositorio
Errores
Esta página contiene errores subsanados en la explicación/vía: https://maureenbarahona.medium.com/migrar-un-repositorio-con-todos-sus-commits-y-todas-sus-ramas-ccd2c5e6d389
- crear un repositorio vacío en el proveedor de destino
- clonar el repositorio que queremos cambiar de proveedor
git clone... - cambiar el origen del repositorio
git remote set-url origin <URL_REPO_DESTINO>
- enviar todos los commits, ramas y tags:
git push origin --tags “refs/remotes/origin/*:refs/heads/*”
- si solo queremos llevarnos una rama:
git push -u origin master