Come cambiare la Remote Origin di Git

Con il comando git set-url, è possibile cambiare l'origine remota di un repository Git esistente.
La sintassi è questa

DOS / Batch fileCopia

cd <path-repository>
git remote set-url <remote_name> <remote_url>

Ad esempio per cambiarlo da un repository locale a uno su DevOps il comando diventa

DOS / Batch fileCopia

cd c:\path\Completo\Locale\repository
git remote set-url origin https://nomeDevOps@dev.azure.com/path/completo/_git/NomeRepository

Si può verificare il cambiamento con git remote

DOS / Batch fileCopia

git remote -v

da un risultato simile al seguente

TextCopia

origin  https://nomeDevOps@dev.azure.com/path/completo/_git/NomeRepository (fetch)
origin  https://nomeDevOps@dev.azure.com/path/completo/_git/NomeRepository (push)

Se il repository conteneva già dei dati, va eseguito il comando git push per trasferire il repository locale su quello remoto

DOS / Batch fileCopia

git push -u origin --all