title: How can I revert a push to repository in GitHub
body: <p>I commited few changes, and made a push to remote branch in github.
  But then I realized that I did some mistakes in the commit, and pushed
  lot of wrong files. Is there a way to revert the push?</p>