結果 : git delete pushed file