Git - Hard reset of a single file

Hard reset of a single file

https://stackoverflow.com/questions/7147270/hard-reset-of-a-single-file

git checkout HEAD -- $FILE