I just experienced a problem, in which a subsequent PR by another contributor accidentally reverted a submodule update committed by a prior PR. I suspect that the problem came from rebasing a PR to a recent
master. Is there a way to check whether a PR doesn’t accidentally revert such a change? Or is to generalize the problem, is there a check for reverting any change made by prior PR?