結果 : github how to delete merge request