How to undo a push?

I wan to undo my last commit and push in branch master

$ git reset --hard HEAD^
HEAD is now at 539b80a CommitMessageGoesHere
$ git push -f origin 539b80a:master