関連ワード:  github force merge pull request    github close pull request without merging    pull request merge types  
結果 : github force merge pull request