git command to revert a specific file to a specific revision
from: https://git-scm.com/docs/git-checkout and
from: http://stackoverflow.com/questions/215718/reset-or-revert-a-specific-file-to-a-specific-revision-using-git
git command to revert a specific file to a specific revision:
$ git checkout [commit-ref] -- [filename] $ git checkout HEAD^ -- [filename]