title: Delete file on git repository
body: <p>I uploaded a file(a huge fool file) accidentally to my git repository, when I noticed it I "removed" using <code>git rm the_fool_file</code></p>
  
  <p>Then I saw that the file is still at the repository althought it was removed from my local.</p>
  
  <p>How can I removed from the server and definitely delete it?</p>
  
  <p>Thanks in advance.</p>
  
  <p>I also tried</p>
  
  <pre><code>git filter-branch --tree-filter 'rm -f myfile' HEAD
  </code></pre>
  
  <p>got</p>
  
  <pre><code>WARNING: Ref 'refs/heads/master' is unchanged
  </code></pre>
  
  <p>file is not at head, it was removed</p>