Comment by yu-carm-kror

I’ll admit I didn’t read the whole thing but this sound like hyperbole

> And GitHub cascade-deleted our community that took 10 years to build.

How does losing stars equate to losing the community? Won’t actual fans be right back using and contributing?

If you remove a contributor of a private github repo it deletes their remote fork and all of their remote branches. To me that’s real loss.