Answers for "how to undo a hard reset git"

undo git reset HEAD~1

# if you would like to move back the head by one position you could do:
git reset HEAD~

# if you want to move multiple positions at once e.g 3 times back type: 
git reset HEAD@{3}

git reset hard

git reset --hard f414f31
git reset --soft HEAD@{1}
git commit -m "Reverting to the state of the project at f414f31"