Correct me if I am wrong: the DMCA takedown process was not designed for circumvention devices - this is what courts are for.
This company is not the copyright holder to these patches - they did not write them nor are they derivative works, so they need to use other legal means to approach this situation.
This is not first time this has happened with GitHub.
This company is not the copyright holder to these patches - they did not write them nor are they derivative works, so they need to use other legal means to approach this situation.
This is not first time this has happened with GitHub.