That b.s. It has to do with the fact that the project is not making it clear that it's not interested in PRs.

Don't have Issues. Don't have PRs. Just push your code to github. Add to the README that this is a mirror of the actual development branch that follows an internal process. The Github repo is only used as a way to publish the latest snapshot of the source.

The "going closed source" because of harassment is just an knee-jerk punitive reactionary response. It's akin to taking your ball and going home.