4 ms·
To avoid the embarrassment of having to serve themselves with a DMCA?
by detrites 4y ago
To avoid the embarrassment of having to serve themselves with a DMCA?
- dchest 4y agoThe PR is not in their repository, it's in the fork. Pull Request refers to "pull this from my repository, here's a link", GitHub just presents it in a convenient interface. (But you're right, those who send DMCAs are likely to just a send a link to the original repository :)
- saurik 4y agoOne 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.
- elcomet 4y agoThey could close the PR in their own repo...