結果 : git how to remove a file from a pushed commit