How is it not relevant? The title is "Prominent GitHub Engineer Quits, Alleging Gender-Based Harassment".
Github ENGINEER. If she's not an engineer, she's not an engineer, it's pretty simple.
Github ENGINEER. If she's not an engineer, she's not an engineer, it's pretty simple.
Splitting hairs about her position distracts from the actual issue at hand.
It shouldn't matter, but it does to many people.