結果 : github merge vs pull request