Changement d'hôte pour un serveur d'origine Git
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 nom de domaine du serveur que j'utilise pour collaborer à quelques projets git a expiré. Il fallait donc trouver un moyen de migrer les dépôts locaux pour les synchroniser à nouveau.
Mise à jour : Merci à @mawolf d'avoir indiqué qu'il existe un moyen facile avec les versions récentes de git (post Feb, 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 êtes sur une version plus ancienne, essayez ceci :
Attention, cela ne fonctionne que s'il s'agit du même serveur, mais 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.
Modifier le .git/config
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
Changement oldhost.com
à newhost.com
enregistrez le fichier et vous avez terminé.
D'après mes essais limités ( git pull origin; git push origin; gitx
) tout semble en ordre. Et oui, je sais que ce n'est pas bien de jouer avec les internes de git.
9 votes
J'ai dû faire cela sur une ancienne version de git (1.5.6.5) et l'option set-url n'existait pas. Le fait de supprimer simplement le remote indésirable et d'en ajouter un nouveau avec le même nom a fonctionné sans problème et a maintenu l'historique sans problème.
0 votes
Dans mon cas, j'ai besoin de vérifier ma permission, j'ai deux dépôts git privés et ce deuxième compte est l'administrateur de ce nouveau dépôt et le premier est mon compte utilisateur par défaut et je dois accorder la permission au premier.
0 votes
Nice Doc est disponible ici. docs.github.com/en/free-pro-team@latest/github/using-git/