memo

git reset --hard <target commit id>

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