They didn't absolutely need to, but the alternative would be finding a user with the latest commit in their local git for every single repository, which could b

They didn't absolutely need to, but the alternative would be finding a user with the latest commit in their local git for every single repository, which could be 150 different people, then getting them all to push those changes... it's a bit more involved than just getting a github admin to put the repos back the way they were.