関連ワード:  git how to merge pull request    git how to merge pull request locally    github how to merge pull request    git how to revert merged pull request    github how to merge without pull request    git command to merge pull request    git merge pull request command line    git merge pull request into local branch    github permission to merge pull request    github api to merge pull request