title: How to undo a git push?
body: <p>I pushed up some files up to github using <code>git push &lt;branch_name&gt;</code>. When I open a PR, the files show up in the changes. How do I undo this <code>git push</code>? In short, I tried to do a <code>git reset</code> of that file before pushing but apparently I mistyped the filename. Now what do I do?</p>
  
  <p>How do I undo pushes to Github?</p>