> This is part of the DMCA process. Github takes it down until they get a counter-claim from the repo owner, don't think they really have much of a choice in it, legally.

They have a choice, but if they would be liable for hosting the content but for the DMCA safe harbor, failing to take it down when they receive compliant takedown notice means that they are then exposed to that liability because they are outside of the safe harbor.