Git Origin Serverのホストを変更する
から:http : //pseudofish.com/blog/2010/06/28/change-host-for-a-git-origin-server/
うまくいけば、これはあなたがする必要があるものではありません。いくつかのgitプロジェクトとのコラボレーションに使用していたサーバーのドメイン名が期限切れになっていました。つまり、ローカルリポジトリを移行して同期を取り戻す方法を見つける必要がありました。
更新:最近のgitバージョンで簡単な方法があることを指摘してくれた@mawolfに感謝(2010年2月以降):
git remote set-url origin ssh://newhost.com/usr/local/gitroot/myproject.git
詳細については、manページを参照してください。
古いバージョンを使用している場合は、これを試してください:
注意点として、これは同じサーバーであり、名前が異なるだけで機能します。
新しいホスト名がnewhost.com
で、古いホスト名がだったとするoldhost.com
と、変更は非常に簡単です。
.git/config
作業ディレクトリのファイルを編集します。次のように表示されます。
[remote "origin"]
fetch = +refs/heads/*:refs/remotes/origin/*
url = ssh://oldhost.com/usr/local/gitroot/myproject.git
に変更oldhost.com
しnewhost.com
、ファイルを保存すれば完了です。
私の限られたテスト(git pull origin; git push origin; gitx
)から、すべてが正しいようです。そして、はい、私はgit内部をいじるのが悪い形であることを知っています。