結果 : can we undo git pull origin command