Improve handling of HTML in PR body

Author: Jackenmen

pyproject.toml

@@ -13,6 +13,7 @@ dependencies = [
     "discord.py>=2.7.1",
     "gidgethub>=5.4.0",
     "graphql-builder==1.0.0a3",
+    "markdownify>=1.2.2",
     "mistune>=3",
     "psycopg2>=2.9.11",
     "regex>=2026.2.28",

red_githubbot/discord_webhook.py

@@ -33,6 +33,7 @@ async def on_milestone_created(event: sansio.Event, *, webhook: Webhook) -> None
 import yarl
 from aiohttp import web
 from gidgethub import routing, sansio
+from markdownify import markdownify
 from mistune.renderers.markdown import MarkdownRenderer
 
 from . import utils
@@ -97,7 +98,7 @@ def render_gfm_to_discord(s: str, max_length: int) -> str:
         renderer=DiscordMarkdownRenderer(max_length),
         plugins=("strikethrough", "table", "task_lists"),
     )
-    return markdown(s)
+    return markdown(markdownify(s, escape_asterisks=False, escape_underscores=False))
 
 
 @_gh_router.register("pull_request", action="opened")