@VictorStinner:
TIL: git diff A…B (3 dots) compares B from the last commit common with A and is different than git diff A..B (2 dots). I also discovered the cool git merge-base A B command to find this last common commit.
git diff A…B
git diff A..B
git merge-base A B