結果 : what to do after git pull