git: migrar repositorio

/via: 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