>
which is a synonym for <code>git reset --hard HEAD</code> clears the mess
from the index file and the working tree.</p>
</li>
<li>
<p>Merge a topic branch into the current branch, which resulted
in a fast-forward.</p>
</li>
<li>
<p>But you decided that the topic branch is not ready for public
consumption yet.  "pull" or "merge" always leaves the original
tip of the current branch in <code>ORIG_HEAD</code>, so resetting hard to it
brings your index file and the working tree back to that state,
and resets t