For every woman on github there are 18.3 men. So yes, "he" way way more likely.