結果 : github delete merge request