title: How to remove files from the GitHub repository?
body: <p>I deleted python .pyc files from my local repo and what I thought I did was to delete from remote github.</p>
  
  <p>I pushed all changes.  The files are still on the repo but not on my local machine.  How do I remove files from the github repo?</p>
  
  <p>I tried the following:</p>
  
  <pre><code>git rm classes/file.pyc
  git add .
  git 
  </code></pre>
  
  <p>and even:</p>
  
  <pre><code>git rm --cached classes/file.pyc
  </code></pre>
  
  <p>Then when I try and checkout the files I get this error.</p>
  
  <pre><code>enter code here`error: pathspec 'classes/redis_ha.pyc' did not match any file(s) known to git.
  </code></pre>
  
  <p>I now dont know what else to do.  As of now I have a totally corrupted git repo.</p>