From 76d5eb21cbc7b855ce0cbd687b9b3f92bbfa91ac Mon Sep 17 00:00:00 2001
From: ajax146 <31014239+ajax146@users.noreply.github.com>
Date: Thu, 4 Jun 2026 17:36:06 -0700
Subject: [PATCH] Add the ability for report to ping people

---
 techsupport_bot/commands/report.py | 15 ++++++++++++++-
 1 file changed, 14 insertions(+), 1 deletion(-)

diff --git a/techsupport_bot/commands/report.py b/techsupport_bot/commands/report.py
index bf129e282..1d25c2dfb 100644
--- a/techsupport_bot/commands/report.py
+++ b/techsupport_bot/commands/report.py
@@ -35,6 +35,13 @@ async def setup(bot: bot.TechSupportBot) -> None:
         description="Whether reports are anonymous",
         default=False,
     )
+    config.add(
+        key="ping_role",
+        datatype="int",
+        title="New report ping role",
+        description="The ID of the role to ping when a new report is created",
+        default=None,
+    )
     await bot.add_cog(Report(bot=bot, extension_name="report"))
     bot.add_extension_config("report", config)
 
@@ -140,7 +147,13 @@ async def report_command(
             await interaction.response.send_message(embed=user_embed, ephemeral=True)
             return
 
-        await alert_channel.send(embed=embed)
+        role = interaction.guild.get_role(int(config.extensions.report.ping_role.value))
+
+        await alert_channel.send(
+            content=role.mention,
+            embed=embed,
+            allowed_mentions=discord.AllowedMentions(roles=True),
+        )
 
         user_embed = auxiliary.prepare_confirm_embed(
             message="Your report was successfully sent"