git hard reset on subdirectory of git repo
$ git checkout HEAD -- <path>
ref: https://stackoverflow.com/questions/15404535/how-to-git-reset-hard-a-subdirectory
$ git checkout HEAD -- <path>
ref: https://stackoverflow.com/questions/15404535/how-to-git-reset-hard-a-subdirectory