You're entitled to an opinion about it, but a Slack bot that pings you when you say "guys" is not remotely comparable to bullying (which is the top-level claim in this thread).
He's responding to the parent:
> I have never seen or heard someone chastised for using “guys” informally
A bot that is doing this is tantamount to a person doing it, since a person made the bot and a person installed the bot.
> Hi! Reminder: “guys” is an inherently gendered term.
That's not a ping, that's imposing your language on others. A ping would be something like "guys is a gendered term for some people"
Re:GCC Adopts a Code of Conduct
by DangitBobby on Friday June 23, 2023 @07:33AM
(#36445436)
I would consider it a form of harassment and such petty language policies would certainly impact my desire to participate in a community. I would feel unwelcome.
> Hi! Reminder: “guys” is an inherently gendered term. Great alternatives include “everyone”, “folks”, “team”, "friends" or “y’all”. Thank you for helping us build a more inclusive community!
The only thing that really bothers me personally about this is the mistaken idea that language can be "inherently" anything. The meaning of a term varies based on usage, it is not inherent.