結果 : delete a merge request github