Merge pull request #99 from 00-kat/escape-underscores

Escape underscores in username when ghost-pinging
ghostty-org · Jan 1, 2025 · 5e10346 · 5e10346
2 parents 03cd334 + 6cfd02a
commit 5e10346
Showing 1 changed file with 2 additions and 3 deletions.
diff --git a/app/components/move_message.py b/app/components/move_message.py
@@ -77,9 +77,8 @@ async def ghostping(
     ) -> None:
         await interaction.response.defer(ephemeral=True)
         await (await self._channel.send(self._author.mention)).delete()
-        await interaction.followup.send(
-            f"Ghostpinged {self._author.name}.", ephemeral=True
-        )
+        escaped_name = self._author.name.replace("_", "\\_")
+        await interaction.followup.send(f"Ghostpinged {escaped_name}.", ephemeral=True)
 
 
 class HelpPostTitle(discord.ui.Modal, title="Turn into #help post"):