[lbenes]

When I want to get back to a pristine state, I prefer

$ git reset --hard origin/master

over the suggested

$ git reset --hard HEAD

If you use git and don't know the difference, read this: https://stackoverflow.com/questions/8196544/what-are-the-git...