How can you find which GitHub PR deleted a file in your repository? Using a git command and a special GitHub link you can find when the file was deleted.
See all tags.