git checkout -- a.php or, don't care what file specifically git checkout HEAD or, you messed all things up git reset --hard HEAD
git checkout -- a.php
or, don't care what file specifically
git checkout HEAD
or, you messed all things up
git reset --hard HEAD