lint-history: avoid dying when we get file deletions

When a file is deleted, there is nothing to lint, so we can just keep
the deletion as-is.

Reported-by: Thorben Kröger <[email protected]>
Signed-off-by: Elijah Newren <[email protected]>

Author: newren

contrib/filter-repo-demos/lint-history

@@ -59,6 +59,8 @@ def lint_with_real_filenames(commit, metadata):
   for change in commit.file_changes:
     if change.blob_id in blobs_handled:
       change.blob_id = blobs_handled[change.blob_id]
+    elif change.type == b'D':
+      continue
     else:
       # Get the old blob contents
       cat_file_process.stdin.write(change.blob_id + b'\n')