-
To recover a deleted file (if you typed
git del file.txt) you can "call it" using two commandsgit reset -- file.txtgit checkout -- file.txtFor more details, see here stackoverflow - How to recover file after
git rm abc.c?
To recover a deleted file (if you typed git del file.txt) you can "call it" using two commands
git reset -- file.txt
git checkout -- file.txt
For more details, see here stackoverflow - How to recover file after git rm abc.c?