diff options
author | 2022-07-28 17:12:01 -0500 | |
---|---|---|
committer | 2022-07-28 22:12:01 +0000 | |
commit | 78640f5cd4e72b4bd79515de23cb05bc73047aa7 (patch) | |
tree | a3e55874a55a25a833b3726eeaaaf4a6f95df6ef /bot/exts/utilities/githubinfo.py | |
parent | Empty commit for CI (diff) |
GitHub issues embeds: preserve order and display repo name and issue number (#1077)
Co-authored-by: Numerlor <[email protected]>
Diffstat (limited to 'bot/exts/utilities/githubinfo.py')
-rw-r--r-- | bot/exts/utilities/githubinfo.py | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/bot/exts/utilities/githubinfo.py b/bot/exts/utilities/githubinfo.py index 963f54e5..046f67df 100644 --- a/bot/exts/utilities/githubinfo.py +++ b/bot/exts/utilities/githubinfo.py @@ -149,7 +149,9 @@ class GithubInfo(commands.Cog): for result in results: if isinstance(result, IssueState): - description_list.append(f"{result.emoji} [{result.title}]({result.url})") + description_list.append( + f"{result.emoji} [[{result.repository}] #{result.number} {result.title}]({result.url})" + ) elif isinstance(result, FetchError): description_list.append(f":x: [{result.return_code}] {result.message}") @@ -192,7 +194,7 @@ class GithubInfo(commands.Cog): log.trace(f"Found {issues = }") # Remove duplicates - issues = set(issues) + issues = list(dict.fromkeys(issues)) if len(issues) > MAXIMUM_ISSUES: embed = discord.Embed( |