Push, pull, and what actually moved

A push offers a list of digests, is told which ones the registry lacks, and sends only those. That is the whole protocol. Push these in order and watch the second one transfer almost nothing.