関連ワード:  pull vs merge github    pull request vs merge github    pull request and merge github    git merge vs github pull request    pull vs merge    difference between git pull and merge    pull and merge difference    pull request vs merge