How to undo a git pull

Have you ever been working on a project, ran a git pull only to realise you've majorly messed up? Now all your code has been overwritten with whatever was in your remote repository - and sometimes this isn't what you want. In times like this, it's ea...