Today's github tip - fixing local master

[Walter Bright]

On 6/18/2013 1:47 PM, David wrote:
> This should not be generalized!
> this resets everything you have done on master to upstream!

Which is what I wanted to do.

> Anything is
> gone, if you actually end up resetting the wrong branch, take a look
> into "git reflog", which allows you to revert the hard-reset

I didn't know about that one.