How to revert an unnecessary “git reset HEAD~1”

You can use:

git reset HEAD@{1}

This uses the last entry in the reflog. See git reflog if you did other things in between.