diff options
author | 2020-10-31 13:00:46 +0000 | |
---|---|---|
committer | 2020-10-31 13:00:46 +0000 | |
commit | a81deec68df39cd5cb91269909f65208afc56716 (patch) | |
tree | db85be372d82fab69639b7a52501424fe12f04f9 /bot/exts/evergreen/issues.py | |
parent | Intents: use 'default' factory (diff) | |
parent | Merge pull request #479 from Anubhav1603/bug_ec (diff) |
Merge branch 'master' into discordpy-15
Diffstat (limited to 'bot/exts/evergreen/issues.py')
-rw-r--r-- | bot/exts/evergreen/issues.py | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/bot/exts/evergreen/issues.py b/bot/exts/evergreen/issues.py index 5a5c82e7..97ee6a12 100644 --- a/bot/exts/evergreen/issues.py +++ b/bot/exts/evergreen/issues.py @@ -38,7 +38,7 @@ class Issues(commands.Cog): ) -> None: """Command to retrieve issue(s) from a GitHub repository.""" links = [] - numbers = set(numbers) + numbers = set(numbers) # Convert from list to set to remove duplicates, if any if not numbers: await ctx.invoke(self.bot.get_command('help'), 'issue') @@ -53,8 +53,7 @@ class Issues(commands.Cog): await ctx.send(embed=embed) return - for number in set(numbers): - # Convert from list to set to remove duplicates, if any. + for number in numbers: url = f"https://api.github.com/repos/{user}/{repository}/issues/{number}" merge_url = f"https://api.github.com/repos/{user}/{repository}/pulls/{number}/merge" |