Delete a closed pull request from GitHub
There is no way you can delete a pull request yourself — you and the repo owner (and all users with push access to it) can close it, but it will remain in the log. This is part of the philosophy of not denying/hiding what happened during development. However, if there are critical reasons for … Read more