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 | |
| 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')
| -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( | 
