One point that I do wholeheartedly agree with Damore on is that putting quotas in OKRs is a very bad idea. It's an easy feel-good number that can have all sorts of negative consequences. It casts doubt on every female hire, and IMO almost certainly invites bias in the interviewing process.