708
708
# deleted files matching that filter.
709
709
if is_inside_any(deleted_paths, path):
711
714
if not specific_files or is_inside_any(specific_files, path):
715
717
self.reporter.missing(path)
716
718
deleted_ids.append(file_id)
721
720
if content_summary[0] == 'tree-reference':
722
721
# enforce repository nested tree policy.
723
722
if (not self.work_tree.supports_tree_reference() or