関連ワード:  github how to merge a pull request    git how to merge a pull request    git how to merge pull request locally    github how to reopen a merged pull request    github how to merge without pull request    git how to revert a merged pull request    how to merge a pull request in github desktop    github permission to merge pull request    github api to merge pull request    github action to merge pull request