title: how do I re push a prior commit?
body: <p>I am currently in the situation that some of my newest commits have overwritten the content of an old commit. </p>
  
  <p>I am using the tool git extension, from the GUI interface, I can checkout a certain revision - a commit. </p>
  
  <p>So I checked outed the revision, and can locally see that the files exist - but there doesn't seem to be anything to commit? Which I guess makes sense?</p>
  
  <p>How do I re-push a prior commit?</p>