title: git: Your branch and 'origin/master' have diverged - how to throw away local commits?
body: <p>I have the following message in git: </p>
  
  <pre><code># Your branch and 'origin/master' have diverged,
  # and have 3 and 8 different commits each, respectively.
  #   (use "git pull" to merge the remote branch into yours)
  </code></pre>
  
  <p>I would like to throw away the 3 local commits, and pull the 8 remote commits at origin/master. </p>
  
  <p>(Merging is going to be too difficult, I'd rather make the 3 local commits again once master is up to date.)</p>
  
  <p>How can I do this?</p>