The argument seems to be mathematical, not categorical, this is what I think is being claimed -- "there are many more men on github than women, thus there is st

The argument seems to be mathematical, not categorical, this is what I think is being claimed -- "there are many more men on github than women, thus there is stronger selection pressures on the women who are on github. Whether men are more or less competent than women IN GENERAL is a separate question from which is, on average the more competent sub-population on github."