結果 : merge vs pull request github