I made a mistake and so I needed to undo the last commit.
The usual steps are:
git reset --soft HEAD~
// make changes...
git commit -c ORIG_HEAD
However I did this by accident:
git reset --soft HEAD~
// make changes...
git commit -m "Some new message" // <-- shouldn't have done this!!
Is it equivalent? If not, what are the implications, and how can I (should I?) "undo the undo"?