git log
to find out the commit you want to revert
git push origin +7f6d03:master
while 7f6d03 is the commit before the wrongly pushed commit.
+
was for force push
And that's it.
Here is a very good guide that solves your problem, easy and simple!