Is it possible to undo the changes caused by the following command? If so, how?
git reset --hard HEAD~1
The answer is hidden in the detailed response above, you can simply do:
$> git reset --hard HEAD@{1}
(See the output of git reflog show)