git で push の URI を変更する

git remote add を行った時、fetch と push の URI が
デフォルトでは同一なので 変更をする。

リモートの確認

$ cd twittering-mode/
$ git remote -v
origin  git://github.com/hayamiz/twittering-mode.git (fetch)
origin  git://github.com/hayamiz/twittering-mode.git (push)

bareリポジトリ の作成

$ cd ..
$ git clone --bare twittering-mode

push先の URI の変更

$ cd twittering-mode/
$ git remote set-url --push origin ../twittering-mode.git
$ git remote -v
origin  git://github.com/hayamiz/twittering-mode.git (fetch)
origin  ../twittering-mode.git (push)

push の確認

まずは このまま push

$ git push 
Everything up-to-date

変更がないのでこうなる。ちょっと構成を変えて push

$ echo euu > "euu.txt"
$ git add euu.txt
$ git ci -m "uri-test"
$ git push
Counting objects: 4, done.
Compressing objects: 100% (2/2), done.
Unpacking objects: 100% (3/3), done.
Writing objects: 100% (3/3), 270 bytes, done.
Total 3 (delta 1), reused 0 (delta 0)
To ../twittering-mode.git
   22feffc..63bc6c5  master -> master

成功した。か？