If there was something specific and genuine that happened, and the person in question wished to do something about it other than attract a lot of attention, I imagine they'd post a lot more detail other than "I was harassed, HR made up a story, GitHub has a sexist culture".

GitHub, like any company, wouldn't say anything about an individual HR case.

We should be reserving our judgement of what happened - personally, I'll wait a month or two and ask GitHubbers what they actually think when I see them - but this isn't a professional way to handle something.

The person is obviously angry, so:

- get off Twitter

- chill out for a week

- think about getting a lawyer

if you believe you were harassed.