> This is social media style moderation being applied to a website that is more similar to infrastructure or a library.

I don't know anything about the immediate situation here but calling GitHub "infrastructure" is not accurate. I know every man and his dog hosts their repos there but GitHub is a private company (owned by Microsoft!) and is not obliged to host things that it thinks will make it look bad.