|
|
|
|
|
|
by saurik
1188 days ago
|
|
|
One can assuredly delete the pull request from your own list of open pull requests, right? It isn't that the information exists in theory on GitHub: it is that it is still listed right there when you go to check the health of the project's open issues/PRs. |
|
|