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