> Actually, the fact that the other female employees felt secure and relaxed enough that they were hola-hooping in the office suggests otherwise.
No it doesn't, really. There can still be a problem, even if it's easier to ignore it than to cause a fuss and risk your career.
> It's also not necessarily an unhealthy/toxic environment
Absolutely agree - but if, when you add a female developer, there is hostility towards her that appears to be motivated in part by her gender, then one should revise one's opinion of the "healthiness" of that environment.
Obviously this is one person's account and, absent a response from GitHub, it will stay that way. Nevertheless, I'm sorry that she felt victimised, and I think her account is a useful vantage point from which to discuss issues of "cultural fit" in all-male teams.
No it doesn't, really. There can still be a problem, even if it's easier to ignore it than to cause a fuss and risk your career.
> It's also not necessarily an unhealthy/toxic environment
Absolutely agree - but if, when you add a female developer, there is hostility towards her that appears to be motivated in part by her gender, then one should revise one's opinion of the "healthiness" of that environment.
Obviously this is one person's account and, absent a response from GitHub, it will stay that way. Nevertheless, I'm sorry that she felt victimised, and I think her account is a useful vantage point from which to discuss issues of "cultural fit" in all-male teams.