[git] Git: How to find a deleted file in the project commit history?