So I'm confused. You agreed that the "@" mentions were "unnecessary" and said "I understand" the criticism.
But you seem to suggest otherwise in your joking response above.

I usually try to balance harsher critiques with still being constructive and taking the discussion seriously. But it's hard. When you're annoyed, the last thing you want to be is helpful and constructive. And yet...


...and now after the subsequent follow-ups, the PR is much stronger and in a good position to keep moving forward.
So, ngl, it felt really shitty to see this.
Back to being constructive: it did make me think that we should update the PR template with more guidance about our preferred etiquette.