But, in this case, GitHub made an effort to get in contact with the repo owner and warn them of their violation of the TOS before taking action. Why do you believe they wouldn't do the same for you?
This repository had been disabled for several days before this.