Say you just want to get rid of the changes you've made to one file, and get back to whatever is in the repository. I used to do this in svn:
rm a-file.txt
svn update a-file.txt
What is the equivalent in Git? I know how to fetch/pull evrything from the repository, but how about one single file?