title: How to remove a file permanently in Git without getting "WARNING: Ref 'refs/heads/master' is unchanged"?
body: <p>I have been googling and reading various posts around the net and I've tried:</p>
  
  <p><code>git filter-branch --index-filter "git rm -rf --cached --ignore-unmatch Launcher\lib" --prune-empty -- --all</code></p>
  
  <p>and </p>
  
  <p><code>git filter-branch --tree-filter "rm -rf Launcher\lib" --prune-empty -- --all</code></p>
  
  <p>All resulting in a:</p>
  
  <blockquote>
    <p>WARNING: Ref 'refs/heads/master' is unchanged</p>
  </blockquote>
  
  <p>There are other clones of this repository and a central server also. I will push changes to the server, as I understand, others with clones just need to fetch and rebase (not merge)? Would it still work if they have made changes?</p>