結果 : how to delete merge request in github