diff options
| author |  wookie184 <[email protected]> | 2022-08-02 18:01:27 +0100 |
|---|---|---|
| committer |  GitHub <[email protected]> | 2022-08-02 18:01:27 +0100 |
| commit | 57e5f9764dcc135166961747abcb883d6a06df7f (patch) | |
| tree | 8f72d48beefe43c2566a19f6bb472b49537e0912 /bot/exts/utilities/githubinfo.py | |
| parent | Updated docstring for _ext_emoji_replace (diff) | |
| parent | GitHub issues embeds: preserve order and display repo name and issue number (... (diff) | |
Merge branch 'main' into uwu-emoji-fix
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( |