It's also not a relevant distinction. What job she did there has no relevance to whether or not harassment is worth investigating.
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.