Как удалить файлы из репозитория GitHub?

Я удалил файлы python.pyc из своего локального репо, и, как я думал, я сделал, это удалить из удаленного github.

Я нажал все изменения. Файлы все еще находятся на репо, но не на моей локальной машине. Как удалить файлы из репозитория github?

Я попробовал следующее:

git rm classes/file.pyc
git add .
git

и даже:

git rm --cached classes/file.pyc

Затем, когда я пытаюсь проверить файлы, я получаю эту ошибку.

enter code here`error: pathspec 'classes/redis_ha.pyc' did not match any file(s) known to git.

Теперь я не знаю, что еще делать. На данный момент у меня полностью поврежден репо git.

Вы не должны делать git add. Что все

git rm classes/file.pyc
git commit -m"bla bla bla"
git push

git commit -am "A file was deleted"
git push