users with bot role no longer trigger pings

app.py

@@ -53,12 +53,14 @@ async def on_message(message):
 
     # notification bot
     huggingfolks_role = discord.utils.get(message.guild.roles, id=897376942817419265)
+    bots_role = discord.utils.get(message.guild.roles, id=1258328471609016341)
     if huggingfolks_role not in message.author.roles: # no need for ping if we're already discussing
-        content = message.content.lower()
-        for trigger, slack_mention in TRIGGERS.items():
-            if trigger in content:
-                await post_to_slack(message.author, message.content, message.channel.name, message.jump_url, slack_mention, trigger)
-                break
+        if bots_role not in message.author.roles: # bots shouldn't trigger pings for this
+            content = message.content.lower()
+            for trigger, slack_mention in TRIGGERS.items():
+                if trigger in content:
+                    await post_to_slack(message.author, message.content, message.channel.name, message.jump_url, slack_mention, trigger)
+                    break
 
     # ask-for-help
     # discord.ForumChannel.last_message_id -> The last thread ID that was created on this forum.