マージをどこかでミスって、それに気づかずにコミットが進んでしまった。 マージミス前にされたはずのいくつかのコミットがなかったことになってた。git revertでミスったコミットまで戻して、git cherry-pickでその後のコミットを適用しなおした。もっとう…