Merge commit diffs can hide things from checks
It seems that we do not extract diffs from merge commits properly. See the diff rendered in cmb/cmb-superbuild!783 (merged) and the robot did not "see" the submodule rewind because it occurred in the merge commit from master
.
This makes me want to finish up #12 and enforce it on our repositories.