関連ワード:  github pull request merge options    git pull request merge options    pull request merge types    what is a pull request vs merge request  
結果 : github pull request merge options