結果 : git pull vs git reset hard