title: git - discard previous commit, force push to remote
body: <p>I will explain my situation first:</p>
  
  <p>I had one file <code>script</code> in my newly created repository.</p>
  
  <p>Then I did:</p>
  
  <pre><code>git add script
  git commit -m 'initial commit'
  
  git push -u origin master
  </code></pre>
  
  <p>..but then I realized I want comment-stripped version of my <code>script</code> file,
  so I did:</p>
  
  <p>-- removed comments from my <code>script</code> using <code>sed</code></p>
  
  <pre><code>git rm script
  git add script-no-comments
  </code></pre>
  
  <p>which git recognized as file being renamed, which is ok.</p>
  
  <p>,then:</p>
  
  <pre><code>git commit -am 'comments removed'
  
  git push origin master
  </code></pre>
  
  <p>So now I have locally and on remote, two commits, first being file with
  comments, and another one without.</p>
  
  <p>My question is: how can I now remove that first commit locally, keeping my
  last version with no comments, and then I suppose I could do force-push to
  remote thus overwriting commits there. I am not concerned in commit <code>sha</code>
  changes, as no one will <code>pull</code> but me?</p>
  
  <p>Also would that remove that comment
  version for good, because I wouldn't like it to be recoverable?</p>