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