結果 : how to undo pushed file in git