I got two of them today, one after the other. One was for a discussion or issue I had previously commented on, but one was another repository I had never intera

I got two of them today, one after the other. One was for a discussion or issue I had previously commented on, but one was another repository I had never interacted with in anyway. GitHub removed one before I could report it, and I reported the other one. Both comments @ing me and the users have been removed now. I'm wondering if they got hit by something or if some part of their spam detection system wasn't working. It wasn't clear what the rubric was for having my name @ed by the spammers.