Поскольку он больше не находится в репозитории, я не могу сделать
git log <filename>
Я могу запустить
git log --diff-filter='D|R' <directory_that_contained_it>
но это слишком много информации и grepping, он, похоже, не перечисляет файл, который я ищу.