Cambia host per un server Git Origin
da: http://pseudofish.com/blog/2010/06/28/change-host-for-a-git-origin-server/
Spero che questo non sia qualcosa che devi fare. Il server che ho usato per collaborare ad alcuni progetti git con il nome di dominio è scaduto. Ciò significava trovare un modo per migrare i repository locali per tornare in sincronia.
Aggiornamento: grazie a @mawolf per aver sottolineato che c'è un modo semplice con le recenti versioni di git (post febbraio 2010):
git remote set-url origin ssh://newhost.com/usr/local/gitroot/myproject.git
Vedi la pagina man per i dettagli.
Se hai una versione precedente, prova questo:
Come avvertimento, funziona solo perché è lo stesso server, solo con nomi diversi.
Supponendo che il nuovo nome host sia newhost.com
, e quello precedente lo fosse oldhost.com
, il cambiamento è abbastanza semplice.
Modifica il .git/config
file nella tua directory di lavoro. Dovresti vedere qualcosa del tipo:
[remote "origin"]
fetch = +refs/heads/*:refs/remotes/origin/*
url = ssh://oldhost.com/usr/local/gitroot/myproject.git
Passa oldhost.com
a newhost.com
, salva il file e il gioco è fatto.
Dal mio test limitato ( git pull origin; git push origin; gitx
) tutto sembra in ordine. E sì, so che è una cattiva forma fare casino con gli interni di Git.