Even if largely PR, that's still a million dollars.
I can't imagine the fallout from this didn't wipe several times that off of github's valuation.
If github had done this before the EFF letter, it would have been something else. With the EFF letter, they have zero liability to reinstating the repo, and are borderline legally required to do so.