I deleted python .pyc files from my local repo and what I thought I did was to delete from remote github.
I pushed all changes. The files are still on the repo but
git commit -am "A file was deleted" git push
You should not do git add. That's all
git add
git rm classes/file.pyc git commit -m"bla bla bla" git push