結果 : difference between checkout and pull in git