exclude huggingfolks role from triggering notification pings (unneeded if we're discussing anyways)

app.py

@@ -42,11 +42,13 @@ async def on_message(message):
         return
 
     # notification bot
-    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
+    huggingfolks_role = discord.utils.get(message.guild.roles, id=897376942817419265)
+    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
 
     # ask-for-help
     # discord.ForumChannel.last_message_id -> The last thread ID that was created on this forum.