結果 : delete merge request github