5 ms·
GitHub has a philosophy of preservation, so once a pull request is submitted, it cannot be deleted.
by mococa 2y ago
GitHub 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.