メインリポジトリから変更をプルするだけのプロダクションgitリポジトリがあります。このレポを変更したり、ここからコミット/プッシュしたりすることはありません。最近、追跡されていない（少なくともそうだと思っていた）画像ファイルを誤って、ローカルの開発リポジトリからメインリポジトリにプッシュしました。メイン リポジトリから最新のものを取得しようとすると、git は既存のイメージ ファイルをメイン リポジトリのファイルで上書きすることに関するエラーを報告します。私はレポからこのファイルさえ欲しくありません（それは本番レポのgitignoredディレクトリにあります）
どうすれば、a) メイン リポジトリでこれらの不要な画像ファイルを削除できますか、または b) これらのファイルを git pull から除外できますか?