tl;dr is that Github is fair to men and women submitting pull requests. (Women have a very slightly higher chance of getting their pull requests merged for who

tl;dr is that Github is fair to men and women submitting pull requests. (Women have a very slightly higher chance of getting their pull requests merged for who knows what reason.)