The comment was originally added inb3af755254, but2898c3e0bbgreatly simplified things making the previous comment invalid. We no longer need to look at diffing main versus the PR and whether we are doing a two dot or three dot diff as we are just diffing the merge commit.