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?
Asked
Active
Viewed 66 times
2
-
1https://newbedev.com/delete-a-closed-pull-request-from-github – cmgchess Jan 09 '22 at 13:52
-
1Yes, but you should consider those credentials already totally compromised. – matt Jan 09 '22 at 13:57
-
@matt I'll definitely contact them to make sure they know they have to change their credentials. Thanks cmgchess for the url! – questioning Jan 09 '22 at 14:01