Tengo un repositorio en GitLab con un nombre repo. Estoy trabajando con él en local tras hacer un:
git clone git@gitlab.blabla.com:yo/repo.git
Ahora decidí cambiarle el nombre a repo_nuevo y así lo hice desde la interfaz de GitLab. Esto quiere decir que a partir de ahora para inicializarlo debo hacer:
git clone git@gitlab.blabla.com:yo/repo_nuevo.git
^^^^^^
Sin embargo, ya tengo el repositorio descargado en un directorio y estoy trabajando desde allí, por lo que no necesito hacer git clone
sino simplemente cambiar la referencia.
Lo que hice de momento es:
mv repo repo_nuevo
Pero sé que esto es algo opcional.
¿Cuál es el proceso para cambiar la referencia y que cuando haga un git pull
(o lo que sea) git ya vea la nueva dirección?