Merge pull request #105 from ghostty-org/ignore-unknown-mentions

fix: ignore unknown entity mentions
ghostty-org · Jan 1, 2025 · 674ea33 · 674ea33
2 parents 72f440a + 2f7d45c
commit 674ea33
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/app/components/entity_mentions.py b/app/components/entity_mentions.py
@@ -127,7 +127,10 @@ def _get_entities(message: discord.Message) -> tuple[str, int]:
     entities: list[str] = []
     for repo_name, number_ in matches:
         number = int(number_)
-        kind, entity = entity_cache[cast(RepoName, repo_name or "main"), number]
+        try:
+            kind, entity = entity_cache[cast(RepoName, repo_name or "main"), number]
+        except KeyError:
+            continue
         if entity.number < 10 and repo_name is None:
             # Ignore single-digit mentions (likely a false positive)
             continue