File exists in the source tree but not the mirror: copy it whole.
File exists in the source tree but not the mirror: copy it whole.
Attributes
final case class Extend(rel: SubPath, mirroredSize: Long)
Source is larger than the mirror: a candidate append from mirroredSize. The interpreter verifies the mirrored bytes are a prefix of the source before appending, and recopies on any mismatch.
Source is larger than the mirror: a candidate append from mirroredSize. The interpreter verifies the mirrored bytes are a prefix of the source before appending, and recopies on any mismatch.