関連ワード:  github pull request no merge button    github close pull request without merging    github pull request rules  
結果 : github pull request no merge button