How to undelete a file previously deleted in git’s history? April 26, 2023 by Tarik git checkout <commit> <filename>