We should not synchronize the source repository with
the target root ref while updating a push mirror.