結果 : github pull request do not merge