The assertion was that they're the bot owner. They denied this and explained the situation.
Continuing to link to their profile/ real name and accuse them of something they've denied feels like it's completely unwarranted brigading and likely a violation of HN rules.
Maybe they shouldn't have been so snarky? https://github.com/matplotlib/matplotlib/pull/31138#issuecom...
be snarky, get snarky in return
or violate HN guidelines themselves? https://news.ycombinator.com/item?id=46991274
This is a shameful equivocation. This is "be snarky, get publicly dox'd and harassed".
I'm not sure which way you are implying here, what is shamefully equated?
The "snark" of opening the PR vs the "snark" of people dox'ing the guy who opened it.