git - GitHub リポジトリからファイルを削除するには?

Question

ローカルリポジトリから 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 リポジトリがあります。

Answer 1

あなたはすべきではありませんgit add。それで全部です

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

Answer 2

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