It is impossible to preserve the head of a revision and only change the base of same revision via push. Strenghthen the precondition for skipping updates to also consider the base commit.