memo

2011-01-27

git である branch の指している commit id を特定の id に書き換える

git reset --hard <target commit id>

origin/master が fast-forward じゃない commit をしたらしく、 普通に git pull すると変なマージ失敗だらけになってしまったので、 git reset --hard origin/mastermasterorigin/master と同じにするのに使った。