コミットを圧縮し、pushするときの注意

コミット圧縮後のレポジトリと、圧縮前とのレポジトリでは、
変更の結果は同じかもしれないが、コミットログが変更されているため、
違うレポジトリとなっている。

そのため、pushする前にリモートレポジトリからpullしないといけない。

pushするものがブランチならば、

% git pull origin ブランチ名

でpullするように。

でないと、コンフリクトを起こして大変なことに…