Ubah Host untuk Server Asal Git
dari: http://pseudofish.com/blog/2010/06/28/change-host-for-a-git-origin-server/
Semoga ini bukan sesuatu yang perlu Anda lakukan. Server yang saya gunakan untuk berkolaborasi pada beberapa proyek git dengan mana nama domain kadaluwarsa. Ini berarti menemukan cara untuk memigrasi repositori lokal untuk kembali sinkron.
Pembaruan: Terima kasih kepada @mawolf karena menunjukkan ada cara mudah dengan versi git terbaru (posting Feb, 2010):
git remote set-url origin ssh://newhost.com/usr/local/gitroot/myproject.git
Lihat halaman manual untuk detailnya.
Jika Anda menggunakan versi yang lebih lama, coba ini:
Sebagai peringatan, ini hanya berfungsi karena server yang sama, hanya dengan nama yang berbeda.
Dengan asumsi bahwa nama host baru adalah newhost.com
, dan yang lama oldhost.com
, perubahannya cukup sederhana.
Edit .git/config
file di direktori kerja Anda. Anda harus melihat sesuatu seperti:
[remote "origin"]
fetch = +refs/heads/*:refs/remotes/origin/*
url = ssh://oldhost.com/usr/local/gitroot/myproject.git
Ubah oldhost.com
ke newhost.com
, simpan file dan selesai.
Dari pengujian terbatas saya ( git pull origin; git push origin; gitx
) semuanya tampak beres. Dan ya, saya tahu itu adalah bentuk yang buruk untuk mengacaukan git internal.