From: Bill Lear <hidden> Date: 2016-06-15 22:43:03
After a failed merge, I want to undo things. I typically use git
reset --hard, and it works like a charm. Others have tried to use git
checkout -f, but I have cautioned that git reset --hard is really the
way to do it. Is there a difference here, or are they equivalent?
Bill