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
  1. crear un repositorio vacío en el proveedor de destino
  2. clonar el repositorio que queremos cambiar de proveedor
    git clone...
  3. cambiar el origen del repositorio
    git remote set-url origin <URL_REPO_DESTINO>
  4. 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