github_pr_tree
github_pr_tree copied to clipboard
File tree doesn't strikethrough name of empty file that was deleted
First, thank you for making this extension! It makes reviewing PRs a much better experience 🙂
In this PR an empty file .eslintrc
was removed. In the file tree, the name should be crossed out but isn't:
For other non-empty files that were deleted in the PR, their names are crossed out as expected.
Thanks for reporting, but the .eslintrc
file is not deleted, it exists but has no content (file is empty):
While we could also strikethrough empty files, I believe it is not a good depiction of the diff state.
Closing for now.
@berzniz The file is deleted in the PR that I linked:
Prior to the PR, .eslintrc
was an empty file in the repository. In the PR, the empty .eslintrc
file was deleted.
I am not suggesting strikethrough for all empty files, but only for empty files that have been deleted. Could you please consider reopening this issue?
Thanks @t1m0thyj, this makes sense now. Thanks for the detailed explanation. A fix should be pretty simple here