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