I believe the complaint is that Github is violating the copyright by leaving it public, not that the submitter is infringing against the submitter. Though in t

I believe the complaint is that Github is violating the copyright by leaving it public, not that the submitter is infringing against the submitter. Though in this case there is the problem that when you push to GitHub you give them a license to provide it, and my first-pass skim doesn't show that you have arbitrary abilities to revoke it: https://docs.github.com/en/github/site-policy/github-terms-of-service#l-cancellation-and-termination https://docs.github.com/en/github/site-policy/github-terms-o... You can revoke most of the rights by closing your account, but in this case that would be begging the question. That said, I'd agree it's the right thing to do, except they should make some direct effort to double-check the ownership so that people can't just arbitrarily claim to own things like this and take them down.