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