git pull ってあまり良い思い出が無いなと思っていたら

やはり微妙らしい。

あまり複雑な使い方してないので、master を remote から持ってくる時に

$ git fetch
$ git merge origin/master

てしてたのですが、複数な commiter がいらっしゃる場合は以下も必要なんですね。

$ git log FETCH_HEAD
$ git diff FETCH_HEAD

成程。