However, this is on Github. Github specifically has a "DMCA Takedown Policy" [1]. I don't believe they have any other policy or procedure involving a "takedown notice". But sure, I could be wrong, or the notice on the repo could be not quite right about what's going on.
Other companies, even big ones, will just take down anything a big corporation asks them to, with no written policy or a written policy basically saying that's what they'll do, while using language implying the DMCA (like "takedown notice"), when that's not what they're doing at all. But Github has actually been pretty good at actually doing this according to the procedure spelled out in DMCA, and not just randomly for whatever another big corporation might want. And being clear about what they're doing why if they're doing something else.
[1] https://docs.github.com/en/site-policy/content-removal-polic...