Just because l always forget the exact syntax for restoring a deleted file from git

     git checkout <deleting_commit>^ -- <file_path>