I expect the usual game of whack-a-mole will now ensue, with the main repository moving to a new host or changing its name (or both). People sometimes forget that github isn’t the only game in town. Eventually either Nintendo will get tired or the code will end up on a Russian or obscure-nationality server that ignores DMCA notices.