La rimozione DMCA ha scosso GitHub e inviato un avviso a ogni sviluppatore