結果 : github delete merged pr