関連ワード:  merge pull request in github    merge pull request in github desktop    merge pull request options in github    merge pull request github actions    merge pull request github api    merge pull request github meaning    how to merge pull request in github command line    who can merge pull request in github    how to revert merge pull request in github    how to disable merge pull request in github