"git remote set-url origin https://..." c'est un peu mieux que d'aller taper dans les fichiers de conf, non ? :)
