結果 : how to delete a merged pull request in github