Supposing that this problem does affect men and women alike, there is still good reason for GitHub to target one group and not the other. The deck is stacked a

Supposing that this problem does affect men and women alike, there is still good reason for GitHub to target one group and not the other. The deck is stacked against women due to sexism, e.g. kitchen jokes; this will take time to end. In the mean time, GitHub can mitigate other pain points to make life as a female programmer easier.