title: Delete file(s) from git repository without deleting it from local filesystem of all local filesystem
body: <p>I have made a mistake. I added a file to a git repository which should be deleted.</p>
  
  <p>Ok, this question was asked multiple times on SO. The solution is:</p>
  
  <pre><code>git rm (-r) --cached myfiletodelete 
  </code></pre>
  
  <p>If I do this, the file is not deleted on MY local system. But, if colleagues do a PULL, the file is deleted on their system. </p>
  
  <p>How can I avoid this? In other words, I want to delete the file only in 'origin', but not in any other local repository and then put it on gitignore.</p>