結果 : can we delete pr in github