feat: bump diff size truncate size (#417)

Author: trag1c

app/components/github_integration/webhooks/issues.py

@@ -50,9 +50,16 @@ def issue_footer(issue: IssueLike, /, *, emoji: EmojiName | None = None) -> Foot
 
 
 def issue_embed_content(
-    issue: IssueLike, template: str, body: str | None = None, /
+    issue: IssueLike,
+    template: str,
+    body: str | None = None,
+    /,
+    *,
+    description: str | None = None,
 ) -> EmbedContent:
-    return EmbedContent(template.format(f"issue #{issue.number}"), issue.html_url, body)
+    return EmbedContent(
+        template.format(f"issue #{issue.number}"), issue.html_url, body, description
+    )
 
 
 def register_hooks(bot: GhosttyBot, webhook: Monalisten) -> None:

app/components/github_integration/webhooks/prs.py

@@ -43,9 +43,16 @@ def pr_footer(
 
 
 def pr_embed_content(
-    pr: PRLike, template: str, body: str | None = None, /
+    pr: PRLike,
+    template: str,
+    body: str | None = None,
+    /,
+    *,
+    description: str | None = None,
 ) -> EmbedContent:
-    return EmbedContent(template.format(f"PR #{pr.number}"), pr.html_url, body)
+    return EmbedContent(
+        template.format(f"PR #{pr.number}"), pr.html_url, body, description
+    )
 
 
 def register_hooks(bot: GhosttyBot, webhook: Monalisten) -> None:  # noqa: PLR0915

app/components/github_integration/webhooks/utils.py

@@ -55,11 +55,16 @@ class EmbedContent(NamedTuple):
     title: str
     url: str
     body: str | None = None
+    description: str | None = None
 
     @property
     def dict(self) -> EmbedContentArgs:
         args: EmbedContentArgs = {"title": self.title, "url": self.url}
-        if self.body:
+        if self.description:
+            # If a description is provided explicitly, don't truncate. However, Discord
+            # has a description character size limit.
+            args["description"] = truncate(self.description, 4096)
+        elif self.body:
             args["description"] = truncate(self.body, 500)
         return args
 
@@ -77,7 +82,13 @@ def dict(self, bot: GhosttyBot) -> dict[str, str | None]:
 
 class ContentGenerator(Protocol):
     def __call__(
-        self, event_like: Any, template: str, body: str | None = None, /
+        self,
+        event_like: Any,
+        template: str,
+        body: str | None = None,
+        /,
+        *,
+        description: str | None = None,
     ) -> EmbedContent: ...
 
 
@@ -119,9 +130,9 @@ async def send_edit_difference(
         )
         if old_title == new_title:
             # If the titles are the same, there's no point in showing them;
-            # they just take up a lot of the 500 available characters.
+            # they just take up a lot of the 750 available characters.
             diff_lines = islice(diff_lines, 2, None)
-        diff = truncate("\n".join(diff_lines), 500 - len("```diff\n\n```"))
+        diff = truncate("\n".join(diff_lines), 750 - len("```diff\n\n```"))
         content = f"```diff\n{diff}\n```"
     elif changes.title:
         content = f'Renamed from "{changes.title.from_}" to "{event_object.title}"'
@@ -132,7 +143,7 @@ async def send_edit_difference(
     await send_embed(
         bot,
         event.sender,
-        content_generator(event_object, "edited {}", content),
+        content_generator(event_object, "edited {}", None, description=content),
         footer_generator(event_object),
     )