gitでpush/pull先を変更する

サーバ移転などによってgit pull/pushができなくなった時の対処方法。

リポジトリの設定ファイルで管理されているので、

$ git config -e

するだけ。実体は.git/configにあるので、これをvimなどで編集しても良さそうですが。

ちなみに

$ git config -e --global

でグローバル設定を変更できます。こっちの実体は~/.gitconfigにあたります。