関連ワード:  git how to merge a pull request    github how to merge a pull request    git how to merge pull request locally    git how to revert a merged pull request    github how to reopen a merged pull request    github how to merge without pull request    how to merge a pull request in github desktop    git command to merge pull request    git merge pull request command line    git merge pull request into local branch