Hmmm. Here's my 2 cents. Every office has "that person" who causes/gets involved in drama, starts pointless arguments, or refuses to cooperate. Let's assume, just for entertainment' sake, that she got bored of working there, and asked herself, 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 fo…
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.