mainブランチにプルリクをMergeしたあと、一旦Revertで差し戻してから、しばらくして再度Mergeしたいときがある。
ただ、何も考えずに再度Mergeしようとしてもうまくいかない。
上の図であれば、再度マージしてもコミット3とコミット4はmainブランチに反映されない。
(というか、develop->mainのPRを再度作成しようとしても、差分がないと表示される)
こうなってしまうのは、Gitはコミット3とコミット4はすでにmainにマージ済みだと判断するため。
手っ取り早く対処するなら、新規に作成したブランチでRevertのRevertをする。
これならRevertしたコミット3とコミット4を復活できる。
必要なら、develop2ブランチで追加で修正もできる。