And what a mistake that has been.

But that doesn't mean that the creator of this repo needs to bend the knee to other people's beliefs and morals about what he should or should not do in relation to running the project.

It's like going to an artists twitter and then complaining that their art style is garbage and that they should change it. No one is forcing you to consume that person's content.

Not all content on the internet needs to appeal to everyone even if everyone is on the internet.

Is the creator of this repo asking someone else to host the repo on their infrastructure?

No one is forcing him to use GitHub.

That is GitHub's job to decide. I am not talking about what GitHub thinks of it, but with what third parties think of it.

GitHub has chosen to appeal to the centroid of its perceived potential userbase. That includes a certain amount of common-decency policing of content others choose to host on its service.

They'd rather lose a few Automatic1111's than have schoolteachers telling students "Don't go on GitHub, it's not safe" (or having school administrations ban its use).