Github has not joined the issue tracker and the git repo "at the hip", Github is entirely capable of taking down singular issues. Also; the DMCA can simply req

Github has not joined the issue tracker and the git repo "at the hip", Github is entirely capable of taking down singular issues. Also; the DMCA can simply request you take down the entire repository. You will have to comply with that until further notice, that is how this functions. You're not allowed to investigate or look into the matter a-priori.