"what looks better on my resume? Worked at GitHub, got bored/wanted a higher salary/wanted to do less work, left... or worked at GitHub and got bullied out of the marketplace for being a woman in tech, but is an honest and good person nonetheless?"
Left to pursue new opportunities is better for her. Generally speaking, employers are less likely to hire someone who got into public fights, whether by his own fault or not. And they especially do not want to hire people who talk bad about previous workplaces. They do not want to risk it will happen again.
Leaving company for usual unspecified reasons is normal, everybody do that regularly.
If she is "tired of working there and this is her way of finding new work', then she would be exceptionally dumb.
Left to pursue new opportunities is better for her. Generally speaking, employers are less likely to hire someone who got into public fights, whether by his own fault or not. And they especially do not want to hire people who talk bad about previous workplaces. They do not want to risk it will happen again.
Leaving company for usual unspecified reasons is normal, everybody do that regularly.
If she is "tired of working there and this is her way of finding new work', then she would be exceptionally dumb.