I\'m not really familiar with how git works. I pushed a commit by mistake and want to revert it. I did a
git reset --hard HEAD~1
Bewar
git push -f maybe?
git push -f
man git-push will tell more.
man git-push