And Github does not seem to be violating DMCA when they redact the claimant's real name for good reasons. So all is well, I guess? You can request the data fro

And Github does not seem to be violating DMCA when they redact the claimant's real name for good reasons. So all is well, I guess? You can request the data from the courts, or whatever. It's not Github's job.