結果 : git pull does not restore deleted files