git 删除文件后如何恢复此文件

我今拉代码的代码，不小心把一个文件给删了。很后悔，关键我删完了还push了。

➜  git:(dev) ✗ git rm HomeController.php
rm 'app/Http/Controllers/hailu/HomeController.php'

解决：

（查看了其他人的解决步骤，原出处：https://blog.csdn.net/bitcarmanlee/article/details/51315406）

先查看一下: git  staus

再：git  reset HEAD 文件名（包括路径）

然后再看一下状态： git status

最后：git checkout  -- 文件名

最后：它就回来了。