Gitの - プッシュされたファイルを削除

あなたが作業ツリーからファイルを削除した場合は、削除をコミットします。

git commit -a -m "A file was deleted"

そして、あなたの上流のコミットをプッシュします：

git push