関連ワード:  github action to merge pull request    github action auto merge pull request    github actions run on merge pull request    github actions create and merge pull request    github action pull request merged event    github actions pull request merge commit    github actions pull request merge branch    github who can merge pull request    what is merge pull request in github    what is merge pull request