Changer d'hôte pour un serveur Git Origin
à partir de: http://pseudofish.com/blog/2010/06/28/change-host-for-a-git-origin-server/
J'espère que ce n'est pas quelque chose que vous devez faire. Le serveur que j'ai utilisé pour collaborer sur quelques projets git avec le nom de domaine a expiré. Cela signifiait trouver un moyen de migrer les référentiels locaux pour revenir en synchronisation.
Mise à jour: Merci à @mawolf pour avoir souligné qu'il existe un moyen simple avec les versions récentes de git (après février 2010):
git remote set-url origin ssh://newhost.com/usr/local/gitroot/myproject.git
Voir la page de manuel pour plus de détails.
Si vous utilisez une ancienne version, essayez ceci:
À titre de mise en garde, cela ne fonctionne que car il s'agit du même serveur, uniquement avec des noms différents.
En supposant que le nouveau nom d'hôte est newhost.com, et l'ancien était oldhost.com, le changement est assez simple.
Modifiez le .git/configfichier dans votre répertoire de travail. Vous devriez voir quelque chose comme:
[remote "origin"]
fetch = +refs/heads/*:refs/remotes/origin/*
url = ssh://oldhost.com/usr/local/gitroot/myproject.git
Passez oldhost.comà newhost.com, enregistrez le fichier et vous avez terminé.
D'après mes tests limités ( git pull origin; git push origin; gitx), tout semble en ordre. Et oui, je sais que c'est une mauvaise forme de jouer avec les internes de git.