title: What is the difference between git pull and git reset --hard origin/<branch>?
body: <p>I find the latter to be faster than the first, so I usually do that after <code>git fetch</code> whenever I need to sync my local branch with the remote. What is the difference?</p>