I merged the wrong way between two branches. I then ran the following:
git reset --hard HEAD^
I am now back at the previous commit (which is where I want to be). Was that the correct thing to do?
The bad commit is still in the repository, is that okay or should I do something else to remove it from the repository?
I have not pushed or committed anything else yet.