関連ワード:  pull request merge github    pull request merge github action    pull request vs merge github    undo pull request merge github    revert pull request merge github    pull request merge conflict github    github pull request rebase and merge    github merge pull request and delete branch    github pull request squash and merge    github action create pull request and merge