結果 : git pull and discard local changes