No doubt this will be reinstated in a few days after the devs file their counterclaim. IANAL, but there's no DMCA violation in the code itself. Even though the DMCA claim was spurious, GitHub did was they were obligated to do by taking it down for now.