In addition to what other people have said, the exact same thing could have happened even if the project was only hosted on Github. Github could receive a DMCA

In addition to what other people have said, the exact same thing could have happened even if the project was only hosted on Github. Github could receive a DMCA notice, take down the repo and buf.. gone.