mistake on last git push

[Nicodemo Alvaro]

I made an error to the git repository with my last patch I tried to
make. I am afraid to try a git-reset as the manual says do not do a
hard reset if you already gave the commit to somebody else. For all I
know, everybody already got it. The command I think needs to be done
if it is still the last commit still is:

git reset --hard HEAD

Is there a better command? Or maybe

git reset --soft HEAD^

-- 
Nicodemo