[minimaxir]

> They can boycott github and turn it into a ghost town in a manner of months.

The last paragraph in the OP rhetorically mocks that idea. Boycotting GitHub would negatively impact said projects since there is no competitior as robust, which is a worse outcome.

[bliti]

Indeed. Though it would not take that much convincing to have those people turn gitlab into what they want and host it themselves with a container based image. Plus they could simulate the social aspect of github by using a general index of projects.

[throwaway999888]

1. Move code and related (issues etc.) to GitLab/Bitbucket

2. Mark GitHub repo as "Mirror Only"

3. Unsubscribe from all GitHub Issues and notifications (see 2.)

4. No more low-effort spam, only the occassional medium-high effort questions and issue reports. Sweet relief!

If the choice was between piece of mind and stars on GitHub, I think I'd take the first.

[bliti]

Stars can also be ported over. You could even go one step further and create star similar to reddit's "gold". A "gold" star would contribute to the development of the project.

[throwaway999888]

Then it's truly a win-win! ;)

[bliti]

If only this were a forum where the right people could read about it. ;)