To GitHub’s credit, when rightsholders allege violations of the DMCA’s anti-circumvention provisions, GitHub conducts its own assessment. If there is no basis for a claim, GitHub sometimes finds other copyright-related grounds, but here there is no pushback. That’s usually a sign of a complaint that stands up under intense scrutiny.