No, it's not a argument for individual rights: individual rights would say Github could do what ever they want and it would say nothing about what Github should

No, it's not a argument for individual rights: individual rights would say Github could do what ever they want and it would say nothing about what Github should do. The argument is purportedly one of fairness: it's unfair to discriminate against men. Which is true. And we should make things fair. But it seems very difficult to, with a straight and honest face, say whatever set of circumstances has led to the massively skewed gender ration] in cs/tech is fair either. So, there is a value question: is it ok to make things slightly unfair locally to improve global fairness. There's also a practical question, does this actually cause that.