3 ms·
> GitHub doesn’t give me the option to delete these pull requests What?? I don't use GitHub so don't know how it works, but I assumed that rejecting pull reque
by JohnFen 2y ago
> GitHub doesn’t give me the option to delete these pull requests
What?? I don't use GitHub so don't know how it works, but I assumed that rejecting pull requests was a thing that was possible. It seems like fundamental functionality.
- mococa 2y agoGitHub has a philosophy of preservation, so once a pull request is submitted, it cannot be deleted.
- JohnFen 2y agoNot deleting it is different than keeping it in an active UI queue, though. What happens if you reject a pull request? You just have to live with it being in the way (UI-wise) forever? If so, that just seems like an invitation to spam projects to death.