Re: AGAIN: all must do a new clone - new git repository with fixed history

[Patrick McCarty]

On 2010-03-27, Jan Nieuwenhuizen wrote:
> 
> So, if you already pulled, pull again.  All should be fine
> now.

One further note: also make sure to pull with the `-r' flag:

  git pull -r

If you don't, then you'll see a million warnings fly down the
terminal.  :-)  It's pretty simple to clean up though:

  git reset --hard
  git pull -r


Thanks,
Patrick