関連ワード:  pull merge git extensions    difference between git pull and git merge  
結果 : pull merge git extensions