削除されたファイルって、リポジトリを検索しても出てこないし、ファイルがないからファイル変更履歴とかも見れないので、いつ削除されたのか確かめるにはどうすればいいんだろう???
と思ったらgitコマンドでできました。
git log -- <削除されたファイルのパス>
上記を実行すると、そのファイルが関わるログが新しい順に出てきます。
ファイルが削除されている場合、一番先頭のコミットで削除されてるはず。
あとはそのコミットIDからPRを検索すればOK🙌
(GitHubならPRの検索窓にコミットIDを貼って検索すれば、それが含まれるPRが出てくる)
Discussion