> Even if you choose to categorize her as a "bully," it's very evident that "bullying" is a hobby of hers and not related to how well she does her job (programming).

Yeah but GitHub isn't a meritocracy remember...