For history, "git log", that is "git log file".
Isn't part three the same as "git checkout HEAD~1 -- file" ?
git add . && git commit && git push
>Isn't part three the same as "git checkout HEAD~1 -- file" ?
What if the delete took place three commits ago?
The original command he was suggesting a replacement for used `-n 1`, so it seems kind of silly to point this out to him.
Then you use HEAD~3.
For history, "git log", that is "git log file".
Isn't part three the same as "git checkout HEAD~1 -- file" ?