git diff の .. と ... の違い

git diff @{push}..HEAD は2点間の単純な差分だが、git diff @{push}...HEAD(ドット3つ)は共通祖先(merge base)と HEAD の差分。自分が積んだコミットによる変更だけを確実に見たいなら3つドットが意図に合う。