2011-11-12 コミットを圧縮し、pushするときの注意 Git コミット圧縮後のレポジトリと、圧縮前とのレポジトリでは、 変更の結果は同じかもしれないが、コミットログが変更されているため、 違うレポジトリとなっている。そのため、pushする前にリモートレポジトリからpullしないといけない。pushするものがブランチならば、 % git pull origin ブランチ名 でpullするように。でないと、コンフリクトを起こして大変なことに…