That's unfortunate. But it's worth to note that Redis is one of the few projects to have a woman in the development core team (1 out of 5 total core team contributors: would be great to see more than that, but is already a rarity, unfortunately).