If you need to get a single file out of a commit that is in your repository then git checkout will do it for you. Specifically:
git checkout <sha> <filename>
will retrieve the file <filename> from the commit <sha> into your current working copy. can be any reference to any commit, so it could be a branch name, a tag name, HEAD^^^^, or anything at all like that that you want...
Graham
2009-07-28 11:41:28