結果 : delete merged pull request github