関連ワード:  github pull request merge branch    git pull request merge branch    github change pull request merge branch    github actions pull request merge branch    git pull request vs merge branch    github pull request merge master into branch    github pull request merge to another branch    github merge pull request delete branch    github pull request delete branch after merge    github merge pull request without deleting branch