This is actually something that bugs me about GitHub - I’m a Professional Software Developer, and we use GitHub enterprise internally at work (don’t @ me, we don’t have the budget to run our own infrastructure, BitBucket is crap and the sales person at GitLab ghosted me on 3 consecutive calls that we set up to discuss our needs). I’m also in charge of a team, and actively encourage the team to contribute to open source - find a bug? Draw up reproduction steps, report it upstream, and Fridays after lunch are dedicated to getting those bugs fixed. One of these days one of my team is going to run across one of these assholes, and I’m going to have a proper HR incident on my hands because that is a hostile work environment. Doesn’t matter that it is a member of the public being a dick, I’ve got an obligation to ensure that my staff have a workplace free of harassment, and I’ve got absolutely no recourse against this other than to say “cool, we don’t contribute to this repo anymore”.