Git 刪除檔案 - Linux

不好意思 想請問一下

我最近需要把一個檔案數很多的project push進git中
因為local端的檔案更動非常多
因此我們決定先切一個branch再把code push進去

我切好branch之後 因為更動檔案過多 也不是全部都是我改的
加上其實我並沒有太多使用git 的經驗
所以就沒想太多直接用 git add . 把code全push進去

push進去後因為再抓下來跑都沒出問題 因此我們就又使用了幾天
這幾天也有陸續因為小更改把code push進去

但剛剛我突然發現 我好像不小心把很多build的過程中自動產生的檔案都一起推了進去
google了一下有人說可以用 .gitignore去過濾檔案
因此我去查了一下我的 .gitignore 才發現他只有過濾掉.o的檔案
因此所有.a檔還有一些用文件軟體產生的備用檔都被我推了進去

現在我想先把所有需要被忽略的檔案類型都加入 .gitignore中
這樣照理來說之後應該就不會把那些檔案給push進去

但問題是我不知道該如何把已經在git server上的檔案給刪掉
因為數量太多 一個一個刪我不知道是要刪到什麼時候@@
所以想上來問一下 感謝各位orz

--