関連ワード:  pull request merge github    pull request merge github action    undo pull request merge github    revert pull request merge github    pull request vs merge github    github pull request merge options    github pull request merge conflict    github pull request merge branch    github pull request merge commit    github pull request merge types