One of my repositories on GitHub got a pull request by someone who left their email and password to login in the code. Since the repository is public, everyone could potentially see that pull request. Is there a way for me, as owner, to delete the PR from existence?