Chris Shoemaker [off-list ref] writes:
"I cloned a remote repo. Then I pulled a branch from the remote repo
and it started changing all the these files. I paniced and hit
ctrl-c. Doh! I should have checked out the branch locally before
pulling. Now what? How can I recover without cloning the repo
again?"
Although I am not sure what this example is about,...
In general, for each common operation, it'd be nice to explain how to
"undo".
I think this makes sense.